Fiona is blue. Gary is young. If someone is nice then they are not young. All blue people are cold. If Gary is young then Gary is not cold.
Fiona is blue.
("Fiona" "is" "blue" "+")
Gary is young.
("Gary" "is" "young" "+")
If someone is nice then they are not young.
((("someone" "is" "nice" "+")) -> ("someone" "is" "young" "-"))
All blue people are cold.
((("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If Gary is young then Gary is not cold.
((("Gary" "is" "young" "+")) -> ("Gary" "is" "cold" "-"))
Gary is young.
True
1
proof
[(triple2)]
("Gary" "is" "young" "+")
triple2
Fiona is not blue.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "blue" "-")
triple1
Fiona is cold.
True
2
proof
[(((triple1) -> rule2))]
("Fiona" "is" "cold" "+")
((triple1) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is not cold.
False
2
inv-proof
[(((triple1) -> rule2))]
("Fiona" "is" "cold" "-")
((triple1) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is not young.
Unknown
inv-random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "-")
Fiona is round.
Unknown
random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "+")
Gary is not nice.
Unknown
inv-random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "-")
Gary is quiet.
Unknown
random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "+")
@0: Fiona is blue.[(triple1)] Gary is young.[(triple2)] @1: Fiona is cold.[(((triple1) -> rule2))] Gary is not cold.[(((triple2) -> rule3))]
Fiona is blue.
("Fiona" "is" "blue" "+")
triple1
Gary is young.
("Gary" "is" "young" "+")
triple2
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple1) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Gary is not cold.
("Gary" "is" "cold" "-")
((triple2) -> (rule3 % int1))
Gary is not cold.
("Gary" "is" "cold" "-")
int1