Anne is furry. Dave is furry. Dave is green. Gary is blue. Gary is red. Gary is smart. Harry is big. Harry is furry. Harry is green. Harry is smart. Furry, big things are red. Young, smart things are big.
Anne is furry.
("Anne" "is" "furry" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is green.
("Dave" "is" "green" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Furry, big things are red.
((("something" "is" "furry" "+") ("something" "is" "big" "+")) -> ("something" "is" "red" "+"))
Young, smart things are big.
((("something" "is" "young" "+") ("something" "is" "smart" "+")) -> ("something" "is" "big" "+"))
Anne is furry.
True
1
proof
[(triple1)]
("Anne" "is" "furry" "+")
triple1
Harry is not furry.
False
1
inv-proof
[(triple8)]
("Harry" "is" "furry" "-")
triple8
Harry is red.
True
3
proof
[(((triple8 triple7) -> rule1))]
("Harry" "is" "red" "+")
((triple8 triple7) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is not red.
False
3
inv-proof
[(((triple8 triple7) -> rule1))]
("Harry" "is" "red" "-")
((triple8 triple7) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Dave is not big.
Unknown
inv-rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "big" "-")
Anne is red.
Unknown
rconc
[@2: Anne is red.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Anne" "is" "red" "+")
Dave is not young.
Unknown
inv-random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
@0: Anne is furry.[(triple1)] Dave is furry.[(triple2)] Dave is green.[(triple3)] Gary is blue.[(triple4)] Gary is red.[(triple5)] Gary is smart.[(triple6)] Harry is big.[(triple7)] Harry is furry.[(triple8)] Harry is green.[(triple9)] Harry is smart.[(triple10)] @1: Harry is red.[(((triple8 triple7) -> rule1))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Dave is furry.
("Dave" "is" "furry" "+")
triple2
Dave is green.
("Dave" "is" "green" "+")
triple3
Gary is blue.
("Gary" "is" "blue" "+")
triple4
Gary is red.
("Gary" "is" "red" "+")
triple5
Gary is smart.
("Gary" "is" "smart" "+")
triple6
Harry is big.
("Harry" "is" "big" "+")
triple7
Harry is furry.
("Harry" "is" "furry" "+")
triple8
Harry is green.
("Harry" "is" "green" "+")
triple9
Harry is smart.
("Harry" "is" "smart" "+")
triple10
Harry is red.
("Harry" "is" "red" "+")
((triple8 triple7) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1