Bob is furry. Bob is kind. Bob is rough. Erin is cold. Erin is kind. Erin is rough. Erin is young. Fiona is furry. Fiona is quiet. Harry is cold. Harry is furry. Harry is kind. Harry is quiet. Harry is rough. Harry is round. Harry is young. If something is round and young then it is furry. Round things are young.
Bob is furry.
("Bob" "is" "furry" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is young.
("Harry" "is" "young" "+")
If something is round and young then it is furry.
((("something" "is" "round" "+") ("something" "is" "young" "+")) -> ("something" "is" "furry" "+"))
Round things are young.
((("something" "is" "round" "+")) -> ("something" "is" "young" "+"))
Erin is young.
True
1
proof
[(triple7)]
("Erin" "is" "young" "+")
triple7
Harry is not rough.
False
1
inv-proof
[(triple14)]
("Harry" "is" "rough" "-")
triple14
Erin is not furry.
Unknown
inv-rconc
[@1: Erin is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "furry" "-")
Fiona is kind.
Unknown
random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "+")
@0: Bob is furry.[(triple1)] Bob is kind.[(triple2)] Bob is rough.[(triple3)] Erin is cold.[(triple4)] Erin is kind.[(triple5)] Erin is rough.[(triple6)] Erin is young.[(triple7)] Fiona is furry.[(triple8)] Fiona is quiet.[(triple9)] Harry is cold.[(triple10)] Harry is furry.[(triple11 OR ((triple15 triple16) -> rule1) OR ((triple15 ((triple15) -> rule2)) -> rule1))] Harry is kind.[(triple12)] Harry is quiet.[(triple13)] Harry is rough.[(triple14)] Harry is round.[(triple15)] Harry is young.[(triple16 OR ((triple15) -> rule2))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple3
Erin is cold.
("Erin" "is" "cold" "+")
triple4
Erin is kind.
("Erin" "is" "kind" "+")
triple5
Erin is rough.
("Erin" "is" "rough" "+")
triple6
Erin is young.
("Erin" "is" "young" "+")
triple7
Fiona is furry.
("Fiona" "is" "furry" "+")
triple8
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple9
Harry is cold.
("Harry" "is" "cold" "+")
triple10
Harry is furry.
("Harry" "is" "furry" "+")
triple11
((triple15 triple16) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
((triple15 ((triple15) -> (rule2 % int2))) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
triple12
Harry is quiet.
("Harry" "is" "quiet" "+")
triple13
Harry is rough.
("Harry" "is" "rough" "+")
triple14
Harry is round.
("Harry" "is" "round" "+")
triple15
Harry is young.
("Harry" "is" "young" "+")
triple16
((triple15) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1