Anne is cold. Anne is green. Anne is quiet. Anne is white. Anne is young. Dave is blue. Dave is green. Dave is quiet. Erin is big. Erin is cold. Fiona is big. Fiona is cold. Fiona is green. Fiona is quiet. Fiona is white. Fiona is young. Green things are cold. All quiet, cold things are young.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Green things are cold.
((("something" "is" "green" "+")) -> ("something" "is" "cold" "+"))
All quiet, cold things are young.
((("something" "is" "quiet" "+") ("something" "is" "cold" "+")) -> ("something" "is" "young" "+"))
Dave is quiet.
True
1
proof
[(triple8)]
("Dave" "is" "quiet" "+")
triple8
Anne is not white.
False
1
inv-proof
[(triple4)]
("Anne" "is" "white" "-")
triple4
Dave is cold.
True
2
proof
[(((triple7) -> rule1))]
("Dave" "is" "cold" "+")
((triple7) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is not cold.
False
2
inv-proof
[(((triple7) -> rule1))]
("Dave" "is" "cold" "-")
((triple7) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
True
4
proof
[(((triple8 ((triple7) -> rule1)) -> rule2))]
("Dave" "is" "young" "+")
((triple8 ((triple7) -> (rule1 % int2))) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is not young.
False
4
inv-proof
[(((triple8 ((triple7) -> rule1)) -> rule2))]
("Dave" "is" "young" "-")
((triple8 ((triple7) -> (rule1 % int2))) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Erin is not young.
Unknown
inv-rconc
[@1: Erin is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "young" "-")
Dave is white.
Unknown
random
[@0: Dave is white.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "white" "+")
Anne is not big.
Unknown
inv-random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "-")
Erin is white.
Unknown
random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "+")
Erin is not quiet.
Unknown
inv-random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "-")
Anne is blue.
Unknown
random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "+")
@0: Anne is cold.[(triple1 OR ((triple2) -> rule1))] Anne is green.[(triple2)] Anne is quiet.[(triple3)] Anne is white.[(triple4)] Anne is young.[(triple5 OR ((triple3 triple1) -> rule2) OR ((triple3 ((triple2) -> rule1)) -> rule2))] Dave is blue.[(triple6)] Dave is green.[(triple7)] Dave is quiet.[(triple8)] Erin is big.[(triple9)] Erin is cold.[(triple10)] Fiona is big.[(triple11)] Fiona is cold.[(triple12 OR ((triple13) -> rule1))] Fiona is green.[(triple13)] Fiona is quiet.[(triple14)] Fiona is white.[(triple15)] Fiona is young.[(triple16 OR ((triple14 triple12) -> rule2) OR ((triple14 ((triple13) -> rule1)) -> rule2))] @1: Dave is cold.[(((triple7) -> rule1))] @2: Dave is young.[(((triple8 ((triple7) -> rule1)) -> rule2))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
((triple2) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
Anne is white.
("Anne" "is" "white" "+")
triple4
Anne is young.
("Anne" "is" "young" "+")
triple5
((triple3 triple1) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
((triple3 ((triple2) -> (rule1 % int2))) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
triple6
Dave is green.
("Dave" "is" "green" "+")
triple7
Dave is quiet.
("Dave" "is" "quiet" "+")
triple8
Erin is big.
("Erin" "is" "big" "+")
triple9
Erin is cold.
("Erin" "is" "cold" "+")
triple10
Fiona is big.
("Fiona" "is" "big" "+")
triple11
Fiona is cold.
("Fiona" "is" "cold" "+")
triple12
((triple13) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
triple13
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple14
Fiona is white.
("Fiona" "is" "white" "+")
triple15
Fiona is young.
("Fiona" "is" "young" "+")
triple16
((triple14 triple12) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
((triple14 ((triple13) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
((triple7) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
((triple8 ((triple7) -> (rule1 % int2))) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2