Anne is not big. Anne is cold. Anne is round. Anne is white. Anne is not young. Bob is round. Bob is white. Erin is big. Erin is rough. Erin is not round. Erin is white. Erin is young. All round things are rough. All rough, white things are cold. If Bob is big then Bob is young.
Anne is not big.
("Anne" "is" "big" "-")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is not young.
("Anne" "is" "young" "-")
Bob is round.
("Bob" "is" "round" "+")
Bob is white.
("Bob" "is" "white" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is not round.
("Erin" "is" "round" "-")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
All round things are rough.
((("something" "is" "round" "+")) -> ("something" "is" "rough" "+"))
All rough, white things are cold.
((("something" "is" "rough" "+") ("something" "is" "white" "+")) -> ("something" "is" "cold" "+"))
If Bob is big then Bob is young.
((("Bob" "is" "big" "+")) -> ("Bob" "is" "young" "+"))
Erin is not round.
True
1
proof
[(triple10)]
("Erin" "is" "round" "-")
triple10
Anne is not white.
False
1
inv-proof
[(triple4)]
("Anne" "is" "white" "-")
triple4
Anne is rough.
True
2
proof
[(((triple3) -> rule1))]
("Anne" "is" "rough" "+")
((triple3) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is not rough.
False
2
inv-proof
[(((triple3) -> rule1))]
("Anne" "is" "rough" "-")
((triple3) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Bob is cold.
True
4
proof
[(((((triple6) -> rule1) triple7) -> rule2))]
("Bob" "is" "cold" "+")
((((triple6) -> (rule1 % int2)) triple7) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is not cold.
False
4
inv-proof
[(((((triple6) -> rule1) triple7) -> rule2))]
("Bob" "is" "cold" "-")
((((triple6) -> (rule1 % int2)) triple7) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is not young.
Unknown
inv-rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "young" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
Erin is not red.
Unknown
inv-random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
@0: Anne is cold.[(triple2 OR ((((triple3) -> rule1) triple4) -> rule2))] Anne is not big.[(triple1)] Anne is not young.[(triple5)] Anne is round.[(triple3)] Anne is white.[(triple4)] Bob is round.[(triple6)] Bob is white.[(triple7)] Erin is big.[(triple8)] Erin is not round.[(triple10)] Erin is rough.[(triple9)] Erin is white.[(triple11)] Erin is young.[(triple12)] @1: Anne is rough.[(((triple3) -> rule1))] Bob is rough.[(((triple6) -> rule1))] Erin is cold.[(((triple9 triple11) -> rule2))] @2: Bob is cold.[(((((triple6) -> rule1) triple7) -> rule2))]
Anne is cold.
("Anne" "is" "cold" "+")
triple2
((((triple3) -> (rule1 % int2)) triple4) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is not big.
("Anne" "is" "big" "-")
triple1
Anne is not young.
("Anne" "is" "young" "-")
triple5
Anne is round.
("Anne" "is" "round" "+")
triple3
Anne is white.
("Anne" "is" "white" "+")
triple4
Bob is round.
("Bob" "is" "round" "+")
triple6
Bob is white.
("Bob" "is" "white" "+")
triple7
Erin is big.
("Erin" "is" "big" "+")
triple8
Erin is not round.
("Erin" "is" "round" "-")
triple10
Erin is rough.
("Erin" "is" "rough" "+")
triple9
Erin is white.
("Erin" "is" "white" "+")
triple11
Erin is young.
("Erin" "is" "young" "+")
triple12
Anne is rough.
("Anne" "is" "rough" "+")
((triple3) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
((triple6) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
((triple9 triple11) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
((((triple6) -> (rule1 % int2)) triple7) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2