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