Charlie is quiet. Charlie is red. Dave is blue. Dave is not furry. Dave is not quiet. Dave is red. Dave is not round. Fiona is not furry. Fiona is quiet. Fiona is round. All cold things are red. Round things are big. If something is quiet and cold then it is big. If something is furry then it is round. If something is quiet and not red then it is not round. Red things are not round.
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is not furry.
("Dave" "is" "furry" "-")
Dave is not quiet.
("Dave" "is" "quiet" "-")
Dave is red.
("Dave" "is" "red" "+")
Dave is not round.
("Dave" "is" "round" "-")
Fiona is not furry.
("Fiona" "is" "furry" "-")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is round.
("Fiona" "is" "round" "+")
All cold things are red.
((("something" "is" "cold" "+")) -> ("something" "is" "red" "+"))
Round things are big.
((("something" "is" "round" "+")) -> ("something" "is" "big" "+"))
If something is quiet and cold then it is big.
((("something" "is" "quiet" "+") ("something" "is" "cold" "+")) -> ("something" "is" "big" "+"))
If something is furry then it is round.
((("something" "is" "furry" "+")) -> ("something" "is" "round" "+"))
If something is quiet and not red then it is not round.
((("something" "is" "quiet" "+") ("something" "is" "red" "~")) -> ("something" "is" "round" "-"))
Red things are not round.
((("something" "is" "red" "+")) -> ("something" "is" "round" "-"))
Charlie is red.
True
1
proof
[(triple2)]
("Charlie" "is" "red" "+")
triple2
Fiona is furry.
False
1
inv-proof
[(triple8)]
("Fiona" "is" "furry" "+")
triple8
Dave is not big.
Unknown
inv-rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "big" "-")
Charlie is furry.
Unknown
random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "+")
@0: Charlie is quiet.[(triple1)] Charlie is red.[(triple2)] Dave is blue.[(triple3)] Dave is not furry.[(triple4)] Dave is not quiet.[(triple5)] Dave is not round.[(triple7 OR ((triple6) -> rule6))] Dave is red.[(triple6)] Fiona is not furry.[(triple8)] Fiona is quiet.[(triple9)] Fiona is round.[(triple10)] @1: Charlie is not round.[(((triple2) -> rule6))] Fiona is big.[(((triple10) -> rule2))]
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple1
Charlie is red.
("Charlie" "is" "red" "+")
triple2
Dave is blue.
("Dave" "is" "blue" "+")
triple3
Dave is not furry.
("Dave" "is" "furry" "-")
triple4
Dave is not quiet.
("Dave" "is" "quiet" "-")
triple5
Dave is not round.
("Dave" "is" "round" "-")
triple7
((triple6) -> (rule6 % int1))
Dave is not round.
("Dave" "is" "round" "-")
int1
Dave is red.
("Dave" "is" "red" "+")
triple6
Fiona is not furry.
("Fiona" "is" "furry" "-")
triple8
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple9
Fiona is round.
("Fiona" "is" "round" "+")
triple10
Charlie is not round.
("Charlie" "is" "round" "-")
((triple2) -> (rule6 % int1))
Charlie is not round.
("Charlie" "is" "round" "-")
int1
Fiona is big.
("Fiona" "is" "big" "+")
((triple10) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1