Anne is rough. Fiona is rough. Gary is quiet. If someone is rough and quiet then they are not cold. All rough people are quiet.
Anne is rough.
("Anne" "is" "rough" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
If someone is rough and quiet then they are not cold.
((("someone" "is" "rough" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "cold" "-"))
All rough people are quiet.
((("someone" "is" "rough" "+")) -> ("someone" "is" "quiet" "+"))
Gary is quiet.
True
1
proof
[(triple3)]
("Gary" "is" "quiet" "+")
triple3
Fiona is not rough.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "rough" "-")
triple2
Fiona is quiet.
True
2
proof
[(((triple2) -> rule2))]
("Fiona" "is" "quiet" "+")
((triple2) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Anne is not quiet.
False
2
inv-proof
[(((triple1) -> rule2))]
("Anne" "is" "quiet" "-")
((triple1) -> (rule2 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is not cold.
True
4
proof
[(((triple1 ((triple1) -> rule2)) -> rule1))]
("Anne" "is" "cold" "-")
((triple1 ((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Anne is not cold.
("Anne" "is" "cold" "-")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Fiona is cold.
False
4
inv-proof
[(((triple2 ((triple2) -> rule2)) -> rule1))]
("Fiona" "is" "cold" "+")
((triple2 ((triple2) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is not cold.
("Fiona" "is" "cold" "-")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
Fiona is not furry.
Unknown
inv-random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "-")
Fiona is round.
Unknown
random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "+")
@0: Anne is rough.[(triple1)] Fiona is rough.[(triple2)] Gary is quiet.[(triple3)] @1: Anne is quiet.[(((triple1) -> rule2))] Fiona is quiet.[(((triple2) -> rule2))] @2: Anne is not cold.[(((triple1 ((triple1) -> rule2)) -> rule1))] Fiona is not cold.[(((triple2 ((triple2) -> rule2)) -> rule1))]
Anne is rough.
("Anne" "is" "rough" "+")
triple1
Fiona is rough.
("Fiona" "is" "rough" "+")
triple2
Gary is quiet.
("Gary" "is" "quiet" "+")
triple3
Anne is quiet.
("Anne" "is" "quiet" "+")
((triple1) -> (rule2 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple2) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Anne is not cold.
("Anne" "is" "cold" "-")
((triple1 ((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Anne is not cold.
("Anne" "is" "cold" "-")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Fiona is not cold.
("Fiona" "is" "cold" "-")
((triple2 ((triple2) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is not cold.
("Fiona" "is" "cold" "-")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2