Anne is furry. Anne is nice. Anne is white. Gary is blue. Gary is furry. Gary is green. Gary is nice. Gary is red. Gary is round. Gary is white. Harry is blue. Harry is nice. Harry is red. Harry is round. Harry is white. All nice, red things are round. All white, green things are furry. Nice things are green.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is white.
("Anne" "is" "white" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is white.
("Gary" "is" "white" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is white.
("Harry" "is" "white" "+")
All nice, red things are round.
((("something" "is" "nice" "+") ("something" "is" "red" "+")) -> ("something" "is" "round" "+"))
All white, green things are furry.
((("something" "is" "white" "+") ("something" "is" "green" "+")) -> ("something" "is" "furry" "+"))
Nice things are green.
((("something" "is" "nice" "+")) -> ("something" "is" "green" "+"))
Harry is red.
True
1
proof
[(triple13)]
("Harry" "is" "red" "+")
triple13
Gary is not white.
False
1
inv-proof
[(triple10)]
("Gary" "is" "white" "-")
triple10
Harry is green.
True
2
proof
[(((triple12) -> rule3))]
("Harry" "is" "green" "+")
((triple12) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is not green.
False
2
inv-proof
[(((triple12) -> rule3))]
("Harry" "is" "green" "-")
((triple12) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is furry.
True
4
proof
[(((triple15 ((triple12) -> rule3)) -> rule2))]
("Harry" "is" "furry" "+")
((triple15 ((triple12) -> (rule3 % int2))) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is not furry.
False
4
inv-proof
[(((triple15 ((triple12) -> rule3)) -> rule2))]
("Harry" "is" "furry" "-")
((triple15 ((triple12) -> (rule3 % int2))) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Anne is not round.
Unknown
inv-rconc
[@1: Anne is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "round" "-")
Anne is blue.
Unknown
random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "+")
@0: Anne is furry.[(triple1 OR ((triple3 ((triple2) -> rule3)) -> rule2))] Anne is nice.[(triple2)] Anne is white.[(triple3)] Gary is blue.[(triple4)] Gary is furry.[(triple5 OR ((triple10 triple6) -> rule2) OR ((triple10 ((triple7) -> rule3)) -> rule2))] Gary is green.[(triple6 OR ((triple7) -> rule3))] Gary is nice.[(triple7)] Gary is red.[(triple8)] Gary is round.[(triple9 OR ((triple7 triple8) -> rule1))] Gary is white.[(triple10)] Harry is blue.[(triple11)] Harry is nice.[(triple12)] Harry is red.[(triple13)] Harry is round.[(triple14 OR ((triple12 triple13) -> rule1))] Harry is white.[(triple15)] @1: Anne is green.[(((triple2) -> rule3))] Harry is green.[(((triple12) -> rule3))] @2: Harry is furry.[(((triple15 ((triple12) -> rule3)) -> rule2))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
((triple3 ((triple2) -> (rule3 % int2))) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is white.
("Anne" "is" "white" "+")
triple3
Gary is blue.
("Gary" "is" "blue" "+")
triple4
Gary is furry.
("Gary" "is" "furry" "+")
triple5
((triple10 triple6) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
((triple10 ((triple7) -> (rule3 % int2))) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
triple6
((triple7) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
triple7
Gary is red.
("Gary" "is" "red" "+")
triple8
Gary is round.
("Gary" "is" "round" "+")
triple9
((triple7 triple8) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
triple10
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Harry is nice.
("Harry" "is" "nice" "+")
triple12
Harry is red.
("Harry" "is" "red" "+")
triple13
Harry is round.
("Harry" "is" "round" "+")
triple14
((triple12 triple13) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
triple15
Anne is green.
("Anne" "is" "green" "+")
((triple2) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
((triple12) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
((triple15 ((triple12) -> (rule3 % int2))) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2