Charlie is big. Charlie is blue. Charlie is cold. Charlie is furry. Charlie is red. Charlie is rough. Charlie is young. Fiona is blue. Fiona is cold. Fiona is rough. Fiona is young. Gary is big. Gary is blue. Gary is furry. Gary is red. If something is young then it is red.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is red.
("Gary" "is" "red" "+")
If something is young then it is red.
((("something" "is" "young" "+")) -> ("something" "is" "red" "+"))
Fiona is rough.
True
1
proof
[(triple10)]
("Fiona" "is" "rough" "+")
triple10
Charlie is not blue.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "blue" "-")
triple2
Fiona is red.
True
2
proof
[(((triple11) -> rule1))]
("Fiona" "is" "red" "+")
((triple11) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is not red.
False
2
inv-proof
[(((triple11) -> rule1))]
("Fiona" "is" "red" "-")
((triple11) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
Fiona is not furry.
Unknown
inv-random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is cold.[(triple3)] Charlie is furry.[(triple4)] Charlie is red.[(triple5 OR ((triple7) -> rule1))] Charlie is rough.[(triple6)] Charlie is young.[(triple7)] Fiona is blue.[(triple8)] Fiona is cold.[(triple9)] Fiona is rough.[(triple10)] Fiona is young.[(triple11)] Gary is big.[(triple12)] Gary is blue.[(triple13)] Gary is furry.[(triple14)] Gary is red.[(triple15)] @1: Fiona is red.[(((triple11) -> rule1))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple2
Charlie is cold.
("Charlie" "is" "cold" "+")
triple3
Charlie is furry.
("Charlie" "is" "furry" "+")
triple4
Charlie is red.
("Charlie" "is" "red" "+")
triple5
((triple7) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
triple6
Charlie is young.
("Charlie" "is" "young" "+")
triple7
Fiona is blue.
("Fiona" "is" "blue" "+")
triple8
Fiona is cold.
("Fiona" "is" "cold" "+")
triple9
Fiona is rough.
("Fiona" "is" "rough" "+")
triple10
Fiona is young.
("Fiona" "is" "young" "+")
triple11
Gary is big.
("Gary" "is" "big" "+")
triple12
Gary is blue.
("Gary" "is" "blue" "+")
triple13
Gary is furry.
("Gary" "is" "furry" "+")
triple14
Gary is red.
("Gary" "is" "red" "+")
triple15
Fiona is red.
("Fiona" "is" "red" "+")
((triple11) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1