Anne is furry. Anne is quiet. Anne is round. Anne is white. Fiona is big. Fiona is not round. Fiona is not white. Round things are not big. If something is white and big then it is round. If something is young and not furry then it is red. All furry, big things are not red. If something is furry and quiet then it is red. Red, quiet things are young.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is white.
("Anne" "is" "white" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is not round.
("Fiona" "is" "round" "-")
Fiona is not white.
("Fiona" "is" "white" "-")
Round things are not big.
((("something" "is" "round" "+")) -> ("something" "is" "big" "-"))
If something is white and big then it is round.
((("something" "is" "white" "+") ("something" "is" "big" "+")) -> ("something" "is" "round" "+"))
If something is young and not furry then it is red.
((("something" "is" "young" "+") ("something" "is" "furry" "~")) -> ("something" "is" "red" "+"))
All furry, big things are not red.
((("something" "is" "furry" "+") ("something" "is" "big" "+")) -> ("something" "is" "red" "-"))
If something is furry and quiet then it is red.
((("something" "is" "furry" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "red" "+"))
Red, quiet things are young.
((("something" "is" "red" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "young" "+"))
Fiona is not white.
True
1
proof
[(triple7)]
("Fiona" "is" "white" "-")
triple7
Anne is not quiet.
False
1
inv-proof
[(triple2)]
("Anne" "is" "quiet" "-")
triple2
Anne is not big.
True
2
proof
[(((triple3) -> rule1))]
("Anne" "is" "big" "-")
((triple3) -> (rule1 % int1))
Anne is not big.
("Anne" "is" "big" "-")
int1
Anne is not red.
False
3
inv-proof
[(((triple1 triple2) -> rule5))]
("Anne" "is" "red" "-")
((triple1 triple2) -> (rule5 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is young.
True
5
proof
[(((((triple1 triple2) -> rule5) triple2) -> rule6))]
("Anne" "is" "young" "+")
((((triple1 triple2) -> (rule5 % int2)) triple2) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is not young.
False
5
inv-proof
[(((((triple1 triple2) -> rule5) triple2) -> rule6))]
("Anne" "is" "young" "-")
((((triple1 triple2) -> (rule5 % int2)) triple2) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Fiona is not red.
Unknown
inv-rconc
[@1: Fiona is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "red" "-")
Fiona is young.
Unknown
rconc
[@1: Fiona is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fiona" "is" "young" "+")
Fiona is not quiet.
Unknown
inv-random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
@0: Anne is furry.[(triple1)] Anne is quiet.[(triple2)] Anne is round.[(triple3)] Anne is white.[(triple4)] Fiona is big.[(triple5)] Fiona is not round.[(triple6)] Fiona is not white.[(triple7)] @1: Anne is not big.[(((triple3) -> rule1))] Anne is red.[(((triple1 triple2) -> rule5))] @2: Anne is young.[(((((triple1 triple2) -> rule5) triple2) -> rule6))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
Anne is round.
("Anne" "is" "round" "+")
triple3
Anne is white.
("Anne" "is" "white" "+")
triple4
Fiona is big.
("Fiona" "is" "big" "+")
triple5
Fiona is not round.
("Fiona" "is" "round" "-")
triple6
Fiona is not white.
("Fiona" "is" "white" "-")
triple7
Anne is not big.
("Anne" "is" "big" "-")
((triple3) -> (rule1 % int1))
Anne is not big.
("Anne" "is" "big" "-")
int1
Anne is red.
("Anne" "is" "red" "+")
((triple1 triple2) -> (rule5 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
((((triple1 triple2) -> (rule5 % int2)) triple2) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2