Anne is cold. Anne is furry. Anne is rough. Anne is white. Fiona is big. Fiona is furry. Fiona is rough. All nice, white people are big. If someone is rough and cold then they are red. If Fiona is cold then Fiona is rough. All white, red people are nice. Big people are cold. All cold, nice people are rough.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is white.
("Anne" "is" "white" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
All nice, white people are big.
((("someone" "is" "nice" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and cold then they are red.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If Fiona is cold then Fiona is rough.
((("Fiona" "is" "cold" "+")) -> ("Fiona" "is" "rough" "+"))
All white, red people are nice.
((("someone" "is" "white" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
Big people are cold.
((("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
All cold, nice people are rough.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
Anne is furry.
True
1
proof
[(triple2)]
("Anne" "is" "furry" "+")
triple2
Fiona is not furry.
False
1
inv-proof
[(triple6)]
("Fiona" "is" "furry" "-")
triple6
Anne is red.
True
3
proof
[(((triple3 triple1) -> rule2))]
("Anne" "is" "red" "+")
((triple3 triple1) -> (rule2 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Fiona is not cold.
False
2
inv-proof
[(((triple5) -> rule5))]
("Fiona" "is" "cold" "-")
((triple5) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Anne is nice.
True
5
proof
[(((triple4 ((triple3 triple1) -> rule2)) -> rule4))]
("Anne" "is" "nice" "+")
((triple4 ((triple3 triple1) -> (rule2 % int2))) -> (rule4 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is not nice.
False
5
inv-proof
[(((triple4 ((triple3 triple1) -> rule2)) -> rule4))]
("Anne" "is" "nice" "-")
((triple4 ((triple3 triple1) -> (rule2 % int2))) -> (rule4 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Fiona is not nice.
Unknown
inv-rconc
[@1: Fiona is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fiona" "is" "nice" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is rough.[(triple3)] Anne is white.[(triple4)] Fiona is big.[(triple5)] Fiona is furry.[(triple6)] Fiona is rough.[(triple7 OR ((((triple5) -> rule5)) -> rule3))] @1: Anne is red.[(((triple3 triple1) -> rule2))] Fiona is cold.[(((triple5) -> rule5))] @2: Anne is nice.[(((triple4 ((triple3 triple1) -> rule2)) -> rule4))] Fiona is red.[(((triple7 ((triple5) -> rule5)) -> rule2) OR ((((((triple5) -> rule5)) -> rule3) ((triple5) -> rule5)) -> rule2))] @3: Anne is big.[(((((triple4 ((triple3 triple1) -> rule2)) -> rule4) triple4) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is rough.
("Anne" "is" "rough" "+")
triple3
Anne is white.
("Anne" "is" "white" "+")
triple4
Fiona is big.
("Fiona" "is" "big" "+")
triple5
Fiona is furry.
("Fiona" "is" "furry" "+")
triple6
Fiona is rough.
("Fiona" "is" "rough" "+")
triple7
((((triple5) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
((triple3 triple1) -> (rule2 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple5) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
((triple4 ((triple3 triple1) -> (rule2 % int2))) -> (rule4 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
((triple7 ((triple5) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
((((((triple5) -> (rule5 % int3))) -> (rule3 % int2)) ((triple5) -> (rule5 % int3))) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
((((triple4 ((triple3 triple1) -> (rule2 % int3))) -> (rule4 % int2)) triple4) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3