Anne is not blue. Anne is round. Bob is white. Charlie is young. Fiona is nice. Fiona is white. Fiona is young. Round people are furry. All white people are furry. Big, white people are not blue. If someone is white and not nice then they are blue. If Charlie is round and Charlie is white then Charlie is not furry. All furry, white people are big.
Anne is not blue.
("Anne" "is" "blue" "-")
Anne is round.
("Anne" "is" "round" "+")
Bob is white.
("Bob" "is" "white" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Round people are furry.
((("someone" "is" "round" "+")) -> ("someone" "is" "furry" "+"))
All white people are furry.
((("someone" "is" "white" "+")) -> ("someone" "is" "furry" "+"))
Big, white people are not blue.
((("someone" "is" "big" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "blue" "-"))
If someone is white and not nice then they are blue.
((("someone" "is" "white" "+") ("someone" "is" "nice" "~")) -> ("someone" "is" "blue" "+"))
If Charlie is round and Charlie is white then Charlie is not furry.
((("Charlie" "is" "round" "+") ("Charlie" "is" "white" "+")) -> ("Charlie" "is" "furry" "-"))
All furry, white people are big.
((("someone" "is" "furry" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "big" "+"))
Fiona is white.
True
1
proof
[(triple6)]
("Fiona" "is" "white" "+")
triple6
Anne is not round.
False
1
inv-proof
[(triple2)]
("Anne" "is" "round" "-")
triple2
Bob is furry.
True
2
proof
[(((triple3) -> rule2))]
("Bob" "is" "furry" "+")
((triple3) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Fiona is not furry.
False
2
inv-proof
[(((triple6) -> rule2))]
("Fiona" "is" "furry" "-")
((triple6) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
True
4
proof
[(((((triple6) -> rule2) triple6) -> rule6))]
("Fiona" "is" "big" "+")
((((triple6) -> (rule2 % int2)) triple6) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Bob is not big.
False
4
inv-proof
[(((((triple3) -> rule2) triple3) -> rule6))]
("Bob" "is" "big" "-")
((((triple3) -> (rule2 % int2)) triple3) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is not blue.
True
6
proof
[(((((((triple3) -> rule2) triple3) -> rule6) triple3) -> rule3))]
("Bob" "is" "blue" "-")
((((((triple3) -> (rule2 % int3)) triple3) -> (rule6 % int2)) triple3) -> (rule3 % int1))
Bob is not blue.
("Bob" "is" "blue" "-")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is blue.
False
6
inv-proof
[(((((((triple3) -> rule2) triple3) -> rule6) triple3) -> rule3))]
("Bob" "is" "blue" "+")
((((((triple3) -> (rule2 % int3)) triple3) -> (rule6 % int2)) triple3) -> (rule3 % int1))
Bob is not blue.
("Bob" "is" "blue" "-")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Anne is not big.
Unknown
inv-rconc
[@1: Anne is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Anne" "is" "big" "-")
Charlie is blue.
Unknown
rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "blue" "+")
Charlie is not furry.
Unknown
inv-rconc
[@1: Charlie is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "furry" "-")
Charlie is big.
Unknown
rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "big" "+")
Fiona is not round.
Unknown
inv-random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "-")
Anne is white.
Unknown
random
[@0: Anne is white.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "white" "+")
Anne is not young.
Unknown
inv-random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "-")
Anne is nice.
Unknown
random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "+")
@0: Anne is not blue.[(triple1)] Anne is round.[(triple2)] Bob is white.[(triple3)] Charlie is young.[(triple4)] Fiona is nice.[(triple5)] Fiona is white.[(triple6)] Fiona is young.[(triple7)] @1: Anne is furry.[(((triple2) -> rule1))] Bob is furry.[(((triple3) -> rule2))] Fiona is furry.[(((triple6) -> rule2))] @2: Bob is big.[(((((triple3) -> rule2) triple3) -> rule6))] Fiona is big.[(((((triple6) -> rule2) triple6) -> rule6))] @3: Bob is not blue.[(((((((triple3) -> rule2) triple3) -> rule6) triple3) -> rule3))] Fiona is not blue.[(((((((triple6) -> rule2) triple6) -> rule6) triple6) -> rule3))]
Anne is not blue.
("Anne" "is" "blue" "-")
triple1
Anne is round.
("Anne" "is" "round" "+")
triple2
Bob is white.
("Bob" "is" "white" "+")
triple3
Charlie is young.
("Charlie" "is" "young" "+")
triple4
Fiona is nice.
("Fiona" "is" "nice" "+")
triple5
Fiona is white.
("Fiona" "is" "white" "+")
triple6
Fiona is young.
("Fiona" "is" "young" "+")
triple7
Anne is furry.
("Anne" "is" "furry" "+")
((triple2) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
((triple3) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple6) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
((((triple3) -> (rule2 % int2)) triple3) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
((((triple6) -> (rule2 % int2)) triple6) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Bob is not blue.
("Bob" "is" "blue" "-")
((((((triple3) -> (rule2 % int3)) triple3) -> (rule6 % int2)) triple3) -> (rule3 % int1))
Bob is not blue.
("Bob" "is" "blue" "-")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Fiona is not blue.
("Fiona" "is" "blue" "-")
((((((triple6) -> (rule2 % int3)) triple6) -> (rule6 % int2)) triple6) -> (rule3 % int1))
Fiona is not blue.
("Fiona" "is" "blue" "-")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3