Fiona is blue. Fiona is cold. Fiona is smart. Gary is blue. Gary is cold. Gary is smart. Gary is young. All smart, cold things are white.
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is young.
("Gary" "is" "young" "+")
All smart, cold things are white.
((("something" "is" "smart" "+") ("something" "is" "cold" "+")) -> ("something" "is" "white" "+"))
Gary is smart.
True
1
proof
[(triple6)]
("Gary" "is" "smart" "+")
triple6
Fiona is not smart.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "smart" "-")
triple3
Gary is white.
True
3
proof
[(((triple6 triple5) -> rule1))]
("Gary" "is" "white" "+")
((triple6 triple5) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Fiona is not white.
False
3
inv-proof
[(((triple3 triple2) -> rule1))]
("Fiona" "is" "white" "-")
((triple3 triple2) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is not rough.
Unknown
inv-random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
Fiona is not green.
Unknown
inv-random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "-")
Fiona is young.
Unknown
random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "+")
@0: Fiona is blue.[(triple1)] Fiona is cold.[(triple2)] Fiona is smart.[(triple3)] Gary is blue.[(triple4)] Gary is cold.[(triple5)] Gary is smart.[(triple6)] Gary is young.[(triple7)] @1: Fiona is white.[(((triple3 triple2) -> rule1))] Gary is white.[(((triple6 triple5) -> rule1))]
Fiona is blue.
("Fiona" "is" "blue" "+")
triple1
Fiona is cold.
("Fiona" "is" "cold" "+")
triple2
Fiona is smart.
("Fiona" "is" "smart" "+")
triple3
Gary is blue.
("Gary" "is" "blue" "+")
triple4
Gary is cold.
("Gary" "is" "cold" "+")
triple5
Gary is smart.
("Gary" "is" "smart" "+")
triple6
Gary is young.
("Gary" "is" "young" "+")
triple7
Fiona is white.
("Fiona" "is" "white" "+")
((triple3 triple2) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
((triple6 triple5) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1