Anne is big. Anne is kind. Anne is quiet. Anne is round. Charlie is kind. Charlie is round. Fiona is big. Fiona is kind. Fiona is quiet. Fiona is round. All kind, white people are rough. Rough people are cold. Big people are white.
Anne is big.
("Anne" "is" "big" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is round.
("Anne" "is" "round" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is round.
("Fiona" "is" "round" "+")
All kind, white people are rough.
((("someone" "is" "kind" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "rough" "+"))
Rough people are cold.
((("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
Big people are white.
((("someone" "is" "big" "+")) -> ("someone" "is" "white" "+"))
Anne is big.
True
1
proof
[(triple1)]
("Anne" "is" "big" "+")
triple1
Charlie is not round.
False
1
inv-proof
[(triple6)]
("Charlie" "is" "round" "-")
triple6
Fiona is white.
True
2
proof
[(((triple7) -> rule3))]
("Fiona" "is" "white" "+")
((triple7) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Anne is not white.
False
2
inv-proof
[(((triple1) -> rule3))]
("Anne" "is" "white" "-")
((triple1) -> (rule3 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Fiona is rough.
True
4
proof
[(((triple8 ((triple7) -> rule3)) -> rule1))]
("Fiona" "is" "rough" "+")
((triple8 ((triple7) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Anne is not rough.
False
4
inv-proof
[(((triple2 ((triple1) -> rule3)) -> rule1))]
("Anne" "is" "rough" "-")
((triple2 ((triple1) -> (rule3 % int2))) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is cold.
True
5
proof
[(((((triple2 ((triple1) -> rule3)) -> rule1)) -> rule2))]
("Anne" "is" "cold" "+")
((((triple2 ((triple1) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Fiona is not cold.
False
5
inv-proof
[(((((triple8 ((triple7) -> rule3)) -> rule1)) -> rule2))]
("Fiona" "is" "cold" "-")
((((triple8 ((triple7) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Charlie is not cold.
Unknown
inv-rconc
[@3: Charlie is cold.[CWA. Example of deepest failure = (rule2 <- rule1 <- rule3 <- FAIL)]]
("Charlie" "is" "cold" "-")
Charlie is rough.
Unknown
rconc
[@2: Charlie is rough.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Charlie" "is" "rough" "+")
Charlie is not white.
Unknown
inv-rconc
[@1: Charlie is white.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "white" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
@0: Anne is big.[(triple1)] Anne is kind.[(triple2)] Anne is quiet.[(triple3)] Anne is round.[(triple4)] Charlie is kind.[(triple5)] Charlie is round.[(triple6)] Fiona is big.[(triple7)] Fiona is kind.[(triple8)] Fiona is quiet.[(triple9)] Fiona is round.[(triple10)] @1: Anne is white.[(((triple1) -> rule3))] Fiona is white.[(((triple7) -> rule3))] @2: Anne is rough.[(((triple2 ((triple1) -> rule3)) -> rule1))] Fiona is rough.[(((triple8 ((triple7) -> rule3)) -> rule1))] @3: Anne is cold.[(((((triple2 ((triple1) -> rule3)) -> rule1)) -> rule2))] Fiona is cold.[(((((triple8 ((triple7) -> rule3)) -> rule1)) -> rule2))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
Anne is round.
("Anne" "is" "round" "+")
triple4
Charlie is kind.
("Charlie" "is" "kind" "+")
triple5
Charlie is round.
("Charlie" "is" "round" "+")
triple6
Fiona is big.
("Fiona" "is" "big" "+")
triple7
Fiona is kind.
("Fiona" "is" "kind" "+")
triple8
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple9
Fiona is round.
("Fiona" "is" "round" "+")
triple10
Anne is white.
("Anne" "is" "white" "+")
((triple1) -> (rule3 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
((triple7) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
((triple2 ((triple1) -> (rule3 % int2))) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple8 ((triple7) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
((((triple2 ((triple1) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
((((triple8 ((triple7) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3