Anne is big. Anne is blue. Anne is cold. Anne is not green. Anne is red. Anne is round. Dave is white. Fiona is cold. Fiona is green. Fiona is not red. Fiona is white. Gary is big. Gary is blue. Gary is cold. Gary is green. Gary is red. White people are blue. All cold people are blue.
Anne is big.
("Anne" "is" "big" "+")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is not green.
("Anne" "is" "green" "-")
Anne is red.
("Anne" "is" "red" "+")
Anne is round.
("Anne" "is" "round" "+")
Dave is white.
("Dave" "is" "white" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is not red.
("Fiona" "is" "red" "-")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is red.
("Gary" "is" "red" "+")
White people are blue.
((("someone" "is" "white" "+")) -> ("someone" "is" "blue" "+"))
All cold people are blue.
((("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
Gary is cold.
True
1
proof
[(triple14)]
("Gary" "is" "cold" "+")
triple14
Anne is not big.
False
1
inv-proof
[(triple1)]
("Anne" "is" "big" "-")
triple1
Gary is not white.
Unknown
inv-random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "-")
Anne is white.
Unknown
random
[@0: Anne is white.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "white" "+")
@0: Anne is big.[(triple1)] Anne is blue.[(triple2 OR ((triple3) -> rule2))] Anne is cold.[(triple3)] Anne is not green.[(triple4)] Anne is red.[(triple5)] Anne is round.[(triple6)] Dave is white.[(triple7)] Fiona is cold.[(triple8)] Fiona is green.[(triple9)] Fiona is not red.[(triple10)] Fiona is white.[(triple11)] Gary is big.[(triple12)] Gary is blue.[(triple13 OR ((triple14) -> rule2))] Gary is cold.[(triple14)] Gary is green.[(triple15)] Gary is red.[(triple16)] @1: Dave is blue.[(((triple7) -> rule1))] Fiona is blue.[(((triple11) -> rule1) OR ((triple8) -> rule2))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is blue.
("Anne" "is" "blue" "+")
triple2
((triple3) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
triple3
Anne is not green.
("Anne" "is" "green" "-")
triple4
Anne is red.
("Anne" "is" "red" "+")
triple5
Anne is round.
("Anne" "is" "round" "+")
triple6
Dave is white.
("Dave" "is" "white" "+")
triple7
Fiona is cold.
("Fiona" "is" "cold" "+")
triple8
Fiona is green.
("Fiona" "is" "green" "+")
triple9
Fiona is not red.
("Fiona" "is" "red" "-")
triple10
Fiona is white.
("Fiona" "is" "white" "+")
triple11
Gary is big.
("Gary" "is" "big" "+")
triple12
Gary is blue.
("Gary" "is" "blue" "+")
triple13
((triple14) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
triple14
Gary is green.
("Gary" "is" "green" "+")
triple15
Gary is red.
("Gary" "is" "red" "+")
triple16
Dave is blue.
("Dave" "is" "blue" "+")
((triple7) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple11) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
((triple8) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1