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