Anne is big. Anne is cold. Anne is green. Fiona is big. Fiona is not cold. Fiona is furry. Fiona is green. Fiona is quiet. Fiona is not rough. Gary is big. Gary is blue. Gary is cold. Gary is furry. Gary is not green. Gary is quiet. If Anne is big and Anne is green then Anne is rough. Rough things are quiet. If Fiona is quiet and Fiona is not rough then Fiona is furry.
Anne is big.
("Anne" "is" "big" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is green.
("Anne" "is" "green" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is not cold.
("Fiona" "is" "cold" "-")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is not rough.
("Fiona" "is" "rough" "-")
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is not green.
("Gary" "is" "green" "-")
Gary is quiet.
("Gary" "is" "quiet" "+")
If Anne is big and Anne is green then Anne is rough.
((("Anne" "is" "big" "+") ("Anne" "is" "green" "+")) -> ("Anne" "is" "rough" "+"))
Rough things are quiet.
((("something" "is" "rough" "+")) -> ("something" "is" "quiet" "+"))
If Fiona is quiet and Fiona is not rough then Fiona is furry.
((("Fiona" "is" "quiet" "+") ("Fiona" "is" "rough" "~")) -> ("Fiona" "is" "furry" "+"))
Gary is cold.
True
1
proof
[(triple12)]
("Gary" "is" "cold" "+")
triple12
Fiona is rough.
False
1
inv-proof
[(triple9)]
("Fiona" "is" "rough" "+")
triple9
Anne is rough.
True
3
proof
[(((triple1 triple3) -> rule1))]
("Anne" "is" "rough" "+")
((triple1 triple3) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is not rough.
False
3
inv-proof
[(((triple1 triple3) -> rule1))]
("Anne" "is" "rough" "-")
((triple1 triple3) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is quiet.
True
4
proof
[(((((triple1 triple3) -> rule1)) -> rule2))]
("Anne" "is" "quiet" "+")
((((triple1 triple3) -> (rule1 % int2))) -> (rule2 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is not quiet.
False
4
inv-proof
[(((((triple1 triple3) -> rule1)) -> rule2))]
("Anne" "is" "quiet" "-")
((((triple1 triple3) -> (rule1 % int2))) -> (rule2 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is not blue.
Unknown
inv-random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Anne is furry.
Unknown
random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "+")
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is green.[(triple3)] Fiona is big.[(triple4)] Fiona is furry.[(triple6 OR ((triple8 triple9) -> rule3))] Fiona is green.[(triple7)] Fiona is not cold.[(triple5)] Fiona is not rough.[(triple9)] Fiona is quiet.[(triple8)] Gary is big.[(triple10)] Gary is blue.[(triple11)] Gary is cold.[(triple12)] Gary is furry.[(triple13)] Gary is not green.[(triple14)] Gary is quiet.[(triple15)] @1: Anne is rough.[(((triple1 triple3) -> rule1))] @2: Anne is quiet.[(((((triple1 triple3) -> rule1)) -> rule2))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is green.
("Anne" "is" "green" "+")
triple3
Fiona is big.
("Fiona" "is" "big" "+")
triple4
Fiona is furry.
("Fiona" "is" "furry" "+")
triple6
((triple8 triple9) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
triple7
Fiona is not cold.
("Fiona" "is" "cold" "-")
triple5
Fiona is not rough.
("Fiona" "is" "rough" "-")
triple9
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple8
Gary is big.
("Gary" "is" "big" "+")
triple10
Gary is blue.
("Gary" "is" "blue" "+")
triple11
Gary is cold.
("Gary" "is" "cold" "+")
triple12
Gary is furry.
("Gary" "is" "furry" "+")
triple13
Gary is not green.
("Gary" "is" "green" "-")
triple14
Gary is quiet.
("Gary" "is" "quiet" "+")
triple15
Anne is rough.
("Anne" "is" "rough" "+")
((triple1 triple3) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
((((triple1 triple3) -> (rule1 % int2))) -> (rule2 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2