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