Anne is big. Anne is cold. Anne is green. Erin is big. Erin is cold. Erin is white. Fiona is cold. Fiona is green. Fiona is young. Gary is big. Gary is blue. Gary is cold. Gary is green. Gary is red. Gary is white. Gary is young. If Fiona is young then Fiona is big. Big, green people are red. If someone is red then they are white.
Anne is big.
("Anne" "is" "big" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is green.
("Anne" "is" "green" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
If Fiona is young then Fiona is big.
((("Fiona" "is" "young" "+")) -> ("Fiona" "is" "big" "+"))
Big, green people are red.
((("someone" "is" "big" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is red then they are white.
((("someone" "is" "red" "+")) -> ("someone" "is" "white" "+"))
Gary is big.
True
1
proof
[(triple10)]
("Gary" "is" "big" "+")
triple10
Anne is not green.
False
1
inv-proof
[(triple3)]
("Anne" "is" "green" "-")
triple3
Fiona is big.
True
2
proof
[(((triple9) -> rule1))]
("Fiona" "is" "big" "+")
((triple9) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Anne is not red.
False
3
inv-proof
[(((triple1 triple3) -> rule2))]
("Anne" "is" "red" "-")
((triple1 triple3) -> (rule2 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Fiona is red.
True
4
proof
[(((((triple9) -> rule1) triple8) -> rule2))]
("Fiona" "is" "red" "+")
((((triple9) -> (rule1 % int2)) triple8) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Anne is not white.
False
4
inv-proof
[(((((triple1 triple3) -> rule2)) -> rule3))]
("Anne" "is" "white" "-")
((((triple1 triple3) -> (rule2 % int2))) -> (rule3 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Fiona is white.
True
5
proof
[(((((((triple9) -> rule1) triple8) -> rule2)) -> rule3))]
("Fiona" "is" "white" "+")
((((((triple9) -> (rule1 % int3)) triple8) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is not white.
False
5
inv-proof
[(((((((triple9) -> rule1) triple8) -> rule2)) -> rule3))]
("Fiona" "is" "white" "-")
((((((triple9) -> (rule1 % int3)) triple8) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Erin is not red.
Unknown
inv-rconc
[@1: Erin is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "red" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
Anne is not blue.
Unknown
inv-random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "-")
Erin is green.
Unknown
random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "+")
Erin is not young.
Unknown
inv-random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "-")
Anne is young.
Unknown
random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "+")
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is green.[(triple3)] Erin is big.[(triple4)] Erin is cold.[(triple5)] Erin is white.[(triple6)] Fiona is cold.[(triple7)] Fiona is green.[(triple8)] Fiona is young.[(triple9)] Gary is big.[(triple10)] Gary is blue.[(triple11)] Gary is cold.[(triple12)] Gary is green.[(triple13)] Gary is red.[(triple14 OR ((triple10 triple13) -> rule2))] Gary is white.[(triple15 OR ((triple14) -> rule3) OR ((((triple10 triple13) -> rule2)) -> rule3))] Gary is young.[(triple16)] @1: Anne is red.[(((triple1 triple3) -> rule2))] Fiona is big.[(((triple9) -> rule1))] @2: Anne is white.[(((((triple1 triple3) -> rule2)) -> rule3))] Fiona is red.[(((((triple9) -> rule1) triple8) -> rule2))] @3: Fiona is white.[(((((((triple9) -> rule1) triple8) -> rule2)) -> rule3))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is green.
("Anne" "is" "green" "+")
triple3
Erin is big.
("Erin" "is" "big" "+")
triple4
Erin is cold.
("Erin" "is" "cold" "+")
triple5
Erin is white.
("Erin" "is" "white" "+")
triple6
Fiona is cold.
("Fiona" "is" "cold" "+")
triple7
Fiona is green.
("Fiona" "is" "green" "+")
triple8
Fiona is young.
("Fiona" "is" "young" "+")
triple9
Gary is big.
("Gary" "is" "big" "+")
triple10
Gary is blue.
("Gary" "is" "blue" "+")
triple11
Gary is cold.
("Gary" "is" "cold" "+")
triple12
Gary is green.
("Gary" "is" "green" "+")
triple13
Gary is red.
("Gary" "is" "red" "+")
triple14
((triple10 triple13) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
triple15
((triple14) -> (rule3 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
((((triple10 triple13) -> (rule2 % int2))) -> (rule3 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
triple16
Anne is red.
("Anne" "is" "red" "+")
((triple1 triple3) -> (rule2 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
((triple9) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
((((triple1 triple3) -> (rule2 % int2))) -> (rule3 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
((((triple9) -> (rule1 % int2)) triple8) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
((((((triple9) -> (rule1 % int3)) triple8) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3