Anne is cold. Anne is quiet. Anne is white. Anne is young. Erin is big. Erin is cold. Erin is quiet. Erin is young. Fiona is big. Fiona is young. Gary is green. Gary is young. If Gary is kind then Gary is young. If Fiona is young then Fiona is cold. If something is green and cold then it is kind. If Gary is big and Gary is green then Gary is quiet. Quiet, big things are green. All young, big things are quiet.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is young.
("Gary" "is" "young" "+")
If Gary is kind then Gary is young.
((("Gary" "is" "kind" "+")) -> ("Gary" "is" "young" "+"))
If Fiona is young then Fiona is cold.
((("Fiona" "is" "young" "+")) -> ("Fiona" "is" "cold" "+"))
If something is green and cold then it is kind.
((("something" "is" "green" "+") ("something" "is" "cold" "+")) -> ("something" "is" "kind" "+"))
If Gary is big and Gary is green then Gary is quiet.
((("Gary" "is" "big" "+") ("Gary" "is" "green" "+")) -> ("Gary" "is" "quiet" "+"))
Quiet, big things are green.
((("something" "is" "quiet" "+") ("something" "is" "big" "+")) -> ("something" "is" "green" "+"))
All young, big things are quiet.
((("something" "is" "young" "+") ("something" "is" "big" "+")) -> ("something" "is" "quiet" "+"))
Anne is white.
True
1
proof
[(triple3)]
("Anne" "is" "white" "+")
triple3
Erin is not quiet.
False
1
inv-proof
[(triple7 OR ((triple8 triple5) -> rule6))]
("Erin" "is" "quiet" "-")
triple7
((triple8 triple5) -> (rule6 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Fiona is cold.
True
2
proof
[(((triple10) -> rule2))]
("Fiona" "is" "cold" "+")
((triple10) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is not cold.
False
2
inv-proof
[(((triple10) -> rule2))]
("Fiona" "is" "cold" "-")
((triple10) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Erin is kind.
True
5
proof
[(((((triple7 triple5) -> rule5) triple6) -> rule3) OR ((((((triple8 triple5) -> rule6) triple5) -> rule5) triple6) -> rule3))]
("Erin" "is" "kind" "+")
((((triple7 triple5) -> (rule5 % int2)) triple6) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((((((triple8 triple5) -> (rule6 % int3)) triple5) -> (rule5 % int2)) triple6) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is not kind.
False
5
inv-proof
[(((((triple7 triple5) -> rule5) triple6) -> rule3) OR ((((((triple8 triple5) -> rule6) triple5) -> rule5) triple6) -> rule3))]
("Erin" "is" "kind" "-")
((((triple7 triple5) -> (rule5 % int2)) triple6) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((((((triple8 triple5) -> (rule6 % int3)) triple5) -> (rule5 % int2)) triple6) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Gary is not kind.
Unknown
inv-rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "kind" "-")
Anne is green.
Unknown
rconc
[@1: Anne is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Anne" "is" "green" "+")
Anne is not kind.
Unknown
inv-rconc
[@2: Anne is kind.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("Anne" "is" "kind" "-")
Gary is white.
Unknown
random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "+")
Fiona is not white.
Unknown
inv-random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "-")
Anne is big.
Unknown
random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "+")
@0: Anne is cold.[(triple1)] Anne is quiet.[(triple2)] Anne is white.[(triple3)] Anne is young.[(triple4)] Erin is big.[(triple5)] Erin is cold.[(triple6)] Erin is quiet.[(triple7 OR ((triple8 triple5) -> rule6))] Erin is young.[(triple8)] Fiona is big.[(triple9)] Fiona is young.[(triple10)] Gary is green.[(triple11)] Gary is young.[(triple12)] @1: Erin is green.[(((triple7 triple5) -> rule5) OR ((((triple8 triple5) -> rule6) triple5) -> rule5))] Fiona is cold.[(((triple10) -> rule2))] Fiona is quiet.[(((triple10 triple9) -> rule6))] @2: Erin is kind.[(((((triple7 triple5) -> rule5) triple6) -> rule3) OR ((((((triple8 triple5) -> rule6) triple5) -> rule5) triple6) -> rule3))] Fiona is green.[(((((triple10 triple9) -> rule6) triple9) -> rule5))] @3: Fiona is kind.[(((((((triple10 triple9) -> rule6) triple9) -> rule5) ((triple10) -> rule2)) -> rule3))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
Anne is white.
("Anne" "is" "white" "+")
triple3
Anne is young.
("Anne" "is" "young" "+")
triple4
Erin is big.
("Erin" "is" "big" "+")
triple5
Erin is cold.
("Erin" "is" "cold" "+")
triple6
Erin is quiet.
("Erin" "is" "quiet" "+")
triple7
((triple8 triple5) -> (rule6 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
triple8
Fiona is big.
("Fiona" "is" "big" "+")
triple9
Fiona is young.
("Fiona" "is" "young" "+")
triple10
Gary is green.
("Gary" "is" "green" "+")
triple11
Gary is young.
("Gary" "is" "young" "+")
triple12
Erin is green.
("Erin" "is" "green" "+")
((triple7 triple5) -> (rule5 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
((((triple8 triple5) -> (rule6 % int2)) triple5) -> (rule5 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple10) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple10 triple9) -> (rule6 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
((((triple7 triple5) -> (rule5 % int2)) triple6) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((((((triple8 triple5) -> (rule6 % int3)) triple5) -> (rule5 % int2)) triple6) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
((((triple10 triple9) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
((((((triple10 triple9) -> (rule6 % int4)) triple9) -> (rule5 % int3)) ((triple10) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4