Anne is blue. Anne is nice. Anne is white. Fiona is big. Fiona is blue. Fiona is cold. Fiona is green. Fiona is kind. Fiona is nice. Fiona is white. Gary is big. Gary is blue. Gary is cold. Gary is green. Gary is nice. Gary is white. Big people are blue. If someone is green and big then they are white.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is white.
("Anne" "is" "white" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
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 nice.
("Gary" "is" "nice" "+")
Gary is white.
("Gary" "is" "white" "+")
Big people are blue.
((("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is green and big then they are white.
((("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "white" "+"))
Gary is cold.
True
1
proof
[(triple13)]
("Gary" "is" "cold" "+")
triple13
Fiona is not blue.
False
1
inv-proof
[(triple5 OR ((triple4) -> rule1))]
("Fiona" "is" "blue" "-")
triple5
((triple4) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Anne is big.
Unknown
random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "+")
@0: Anne is blue.[(triple1)] Anne is nice.[(triple2)] Anne is white.[(triple3)] Fiona is big.[(triple4)] Fiona is blue.[(triple5 OR ((triple4) -> rule1))] Fiona is cold.[(triple6)] Fiona is green.[(triple7)] Fiona is kind.[(triple8)] Fiona is nice.[(triple9)] Fiona is white.[(triple10 OR ((triple7 triple4) -> rule2))] Gary is big.[(triple11)] Gary is blue.[(triple12 OR ((triple11) -> rule1))] Gary is cold.[(triple13)] Gary is green.[(triple14)] Gary is nice.[(triple15)] Gary is white.[(triple16 OR ((triple14 triple11) -> rule2))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is white.
("Anne" "is" "white" "+")
triple3
Fiona is big.
("Fiona" "is" "big" "+")
triple4
Fiona is blue.
("Fiona" "is" "blue" "+")
triple5
((triple4) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
triple6
Fiona is green.
("Fiona" "is" "green" "+")
triple7
Fiona is kind.
("Fiona" "is" "kind" "+")
triple8
Fiona is nice.
("Fiona" "is" "nice" "+")
triple9
Fiona is white.
("Fiona" "is" "white" "+")
triple10
((triple7 triple4) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
triple11
Gary is blue.
("Gary" "is" "blue" "+")
triple12
((triple11) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
triple13
Gary is green.
("Gary" "is" "green" "+")
triple14
Gary is nice.
("Gary" "is" "nice" "+")
triple15
Gary is white.
("Gary" "is" "white" "+")
triple16
((triple14 triple11) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1