Anne is furry. Anne is red. Anne is smart. Charlie is cold. Charlie is red. Charlie is smart. Gary is cold. Gary is furry. Gary is green. Gary is kind. Gary is quiet. Gary is smart. Harry is furry. Harry is kind. Harry is quiet. Harry is red. Red, furry people are smart. Furry, cold people are kind. Red, smart people are green.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is red.
("Harry" "is" "red" "+")
Red, furry people are smart.
((("someone" "is" "red" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "smart" "+"))
Furry, cold people are kind.
((("someone" "is" "furry" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
Red, smart people are green.
((("someone" "is" "red" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "green" "+"))
Gary is cold.
True
1
proof
[(triple7)]
("Gary" "is" "cold" "+")
triple7
Gary is not furry.
False
1
inv-proof
[(triple8)]
("Gary" "is" "furry" "-")
triple8
Anne is not kind.
Unknown
inv-rconc
[@1: Anne is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "kind" "-")
Anne is cold.
Unknown
random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "+")
@0: Anne is furry.[(triple1)] Anne is red.[(triple2)] Anne is smart.[(triple3 OR ((triple2 triple1) -> rule1))] Charlie is cold.[(triple4)] Charlie is red.[(triple5)] Charlie is smart.[(triple6)] Gary is cold.[(triple7)] Gary is furry.[(triple8)] Gary is green.[(triple9)] Gary is kind.[(triple10 OR ((triple8 triple7) -> rule2))] Gary is quiet.[(triple11)] Gary is smart.[(triple12)] Harry is furry.[(triple13)] Harry is kind.[(triple14)] Harry is quiet.[(triple15)] Harry is red.[(triple16)] @1: Anne is green.[(((triple2 triple3) -> rule3) OR ((triple2 ((triple2 triple1) -> rule1)) -> rule3))] Charlie is green.[(((triple5 triple6) -> rule3))] Harry is smart.[(((triple16 triple13) -> rule1))] @2: Harry is green.[(((triple16 ((triple16 triple13) -> rule1)) -> rule3))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is red.
("Anne" "is" "red" "+")
triple2
Anne is smart.
("Anne" "is" "smart" "+")
triple3
((triple2 triple1) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple4
Charlie is red.
("Charlie" "is" "red" "+")
triple5
Charlie is smart.
("Charlie" "is" "smart" "+")
triple6
Gary is cold.
("Gary" "is" "cold" "+")
triple7
Gary is furry.
("Gary" "is" "furry" "+")
triple8
Gary is green.
("Gary" "is" "green" "+")
triple9
Gary is kind.
("Gary" "is" "kind" "+")
triple10
((triple8 triple7) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
triple11
Gary is smart.
("Gary" "is" "smart" "+")
triple12
Harry is furry.
("Harry" "is" "furry" "+")
triple13
Harry is kind.
("Harry" "is" "kind" "+")
triple14
Harry is quiet.
("Harry" "is" "quiet" "+")
triple15
Harry is red.
("Harry" "is" "red" "+")
triple16
Anne is green.
("Anne" "is" "green" "+")
((triple2 triple3) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
((triple2 ((triple2 triple1) -> (rule1 % int2))) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
((triple5 triple6) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
((triple16 triple13) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
((triple16 ((triple16 triple13) -> (rule1 % int2))) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2