Anne is not cold. Anne is green. Anne is nice. Anne is not round. Fiona is blue. Fiona is red. Fiona is smart. Gary is blue. Gary is cold. Gary is green. Gary is nice. Gary is red. Gary is smart. Harry is green. Harry is nice. Blue things are green.
Anne is not cold.
("Anne" "is" "cold" "-")
Anne is green.
("Anne" "is" "green" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is not round.
("Anne" "is" "round" "-")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Blue things are green.
((("something" "is" "blue" "+")) -> ("something" "is" "green" "+"))
Harry is green.
True
1
proof
[(triple14)]
("Harry" "is" "green" "+")
triple14
Gary is not green.
False
1
inv-proof
[(triple10 OR ((triple8) -> rule1))]
("Gary" "is" "green" "-")
triple10
((triple8) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Fiona is green.
True
2
proof
[(((triple5) -> rule1))]
("Fiona" "is" "green" "+")
((triple5) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is not green.
False
2
inv-proof
[(((triple5) -> rule1))]
("Fiona" "is" "green" "-")
((triple5) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
Anne is not blue.
Unknown
inv-random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
@0: Anne is green.[(triple2)] Anne is nice.[(triple3)] Anne is not cold.[(triple1)] Anne is not round.[(triple4)] Fiona is blue.[(triple5)] Fiona is red.[(triple6)] Fiona is smart.[(triple7)] Gary is blue.[(triple8)] Gary is cold.[(triple9)] Gary is green.[(triple10 OR ((triple8) -> rule1))] Gary is nice.[(triple11)] Gary is red.[(triple12)] Gary is smart.[(triple13)] Harry is green.[(triple14)] Harry is nice.[(triple15)] @1: Fiona is green.[(((triple5) -> rule1))]
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is nice.
("Anne" "is" "nice" "+")
triple3
Anne is not cold.
("Anne" "is" "cold" "-")
triple1
Anne is not round.
("Anne" "is" "round" "-")
triple4
Fiona is blue.
("Fiona" "is" "blue" "+")
triple5
Fiona is red.
("Fiona" "is" "red" "+")
triple6
Fiona is smart.
("Fiona" "is" "smart" "+")
triple7
Gary is blue.
("Gary" "is" "blue" "+")
triple8
Gary is cold.
("Gary" "is" "cold" "+")
triple9
Gary is green.
("Gary" "is" "green" "+")
triple10
((triple8) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
triple11
Gary is red.
("Gary" "is" "red" "+")
triple12
Gary is smart.
("Gary" "is" "smart" "+")
triple13
Harry is green.
("Harry" "is" "green" "+")
triple14
Harry is nice.
("Harry" "is" "nice" "+")
triple15
Fiona is green.
("Fiona" "is" "green" "+")
((triple5) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1