Anne is furry. Anne is nice. Anne is round. Erin is furry. Erin is smart. Gary is cold. Gary is furry. Gary is white. Harry is cold. Harry is nice. Harry is smart. Harry is white. Round things are furry. White things are furry. Cold, furry things are smart.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is round.
("Anne" "is" "round" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is white.
("Gary" "is" "white" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is white.
("Harry" "is" "white" "+")
Round things are furry.
((("something" "is" "round" "+")) -> ("something" "is" "furry" "+"))
White things are furry.
((("something" "is" "white" "+")) -> ("something" "is" "furry" "+"))
Cold, furry things are smart.
((("something" "is" "cold" "+") ("something" "is" "furry" "+")) -> ("something" "is" "smart" "+"))
Anne is nice.
True
1
proof
[(triple2)]
("Anne" "is" "nice" "+")
triple2
Anne is not nice.
False
1
inv-proof
[(triple2)]
("Anne" "is" "nice" "-")
triple2
Harry is furry.
True
2
proof
[(((triple12) -> rule2))]
("Harry" "is" "furry" "+")
((triple12) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is not furry.
False
2
inv-proof
[(((triple12) -> rule2))]
("Harry" "is" "furry" "-")
((triple12) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Anne is not smart.
Unknown
inv-rconc
[@1: Anne is smart.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Anne" "is" "smart" "-")
Gary is quiet.
Unknown
random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "+")
Erin is not round.
Unknown
inv-random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
@0: Anne is furry.[(triple1 OR ((triple3) -> rule1))] Anne is nice.[(triple2)] Anne is round.[(triple3)] Erin is furry.[(triple4)] Erin is smart.[(triple5)] Gary is cold.[(triple6)] Gary is furry.[(triple7 OR ((triple8) -> rule2))] Gary is white.[(triple8)] Harry is cold.[(triple9)] Harry is nice.[(triple10)] Harry is smart.[(triple11 OR ((triple9 ((triple12) -> rule2)) -> rule3))] Harry is white.[(triple12)] @1: Gary is smart.[(((triple6 triple7) -> rule3) OR ((triple6 ((triple8) -> rule2)) -> rule3))] Harry is furry.[(((triple12) -> rule2))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
((triple3) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is round.
("Anne" "is" "round" "+")
triple3
Erin is furry.
("Erin" "is" "furry" "+")
triple4
Erin is smart.
("Erin" "is" "smart" "+")
triple5
Gary is cold.
("Gary" "is" "cold" "+")
triple6
Gary is furry.
("Gary" "is" "furry" "+")
triple7
((triple8) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
triple8
Harry is cold.
("Harry" "is" "cold" "+")
triple9
Harry is nice.
("Harry" "is" "nice" "+")
triple10
Harry is smart.
("Harry" "is" "smart" "+")
triple11
((triple9 ((triple12) -> (rule2 % int2))) -> (rule3 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
triple12
Gary is smart.
("Gary" "is" "smart" "+")
((triple6 triple7) -> (rule3 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
((triple6 ((triple8) -> (rule2 % int2))) -> (rule3 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
((triple12) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1