Charlie is not blue. Charlie is quiet. Charlie is round. Charlie is smart. Dave is not blue. Dave is furry. Dave is not quiet. Dave is round. Dave is smart. Fiona is blue. Fiona is not furry. Fiona is green. Fiona is not quiet. Fiona is round. Fiona is smart. All furry, quiet things are blue. If something is quiet then it is round. If Dave is quiet then Dave is not blue. If Dave is smart and Dave is round then Dave is furry. If Charlie is red then Charlie is smart. Blue, round things are red. Furry things are not red. If something is furry and not round then it is not red.
Charlie is not blue.
("Charlie" "is" "blue" "-")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Dave is not blue.
("Dave" "is" "blue" "-")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is not quiet.
("Dave" "is" "quiet" "-")
Dave is round.
("Dave" "is" "round" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is not furry.
("Fiona" "is" "furry" "-")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
All furry, quiet things are blue.
((("something" "is" "furry" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "blue" "+"))
If something is quiet then it is round.
((("something" "is" "quiet" "+")) -> ("something" "is" "round" "+"))
If Dave is quiet then Dave is not blue.
((("Dave" "is" "quiet" "+")) -> ("Dave" "is" "blue" "-"))
If Dave is smart and Dave is round then Dave is furry.
((("Dave" "is" "smart" "+") ("Dave" "is" "round" "+")) -> ("Dave" "is" "furry" "+"))
If Charlie is red then Charlie is smart.
((("Charlie" "is" "red" "+")) -> ("Charlie" "is" "smart" "+"))
Blue, round things are red.
((("something" "is" "blue" "+") ("something" "is" "round" "+")) -> ("something" "is" "red" "+"))
Furry things are not red.
((("something" "is" "furry" "+")) -> ("something" "is" "red" "-"))
If something is furry and not round then it is not red.
((("something" "is" "furry" "+") ("something" "is" "round" "~")) -> ("something" "is" "red" "-"))
Fiona is not quiet.
True
1
proof
[(triple13)]
("Fiona" "is" "quiet" "-")
triple13
Dave is blue.
False
1
inv-proof
[(triple5)]
("Dave" "is" "blue" "+")
triple5
Charlie is not red.
Unknown
inv-rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "red" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
@0: Charlie is not blue.[(triple1)] Charlie is quiet.[(triple2)] Charlie is round.[(triple3 OR ((triple2) -> rule2))] Charlie is smart.[(triple4)] Dave is furry.[(triple6 OR ((triple9 triple8) -> rule4))] Dave is not blue.[(triple5)] Dave is not quiet.[(triple7)] Dave is round.[(triple8)] Dave is smart.[(triple9)] Fiona is blue.[(triple10)] Fiona is green.[(triple12)] Fiona is not furry.[(triple11)] Fiona is not quiet.[(triple13)] Fiona is round.[(triple14)] Fiona is smart.[(triple15)] @1: Dave is not red.[(((triple6) -> rule7) OR ((((triple9 triple8) -> rule4)) -> rule7))] Fiona is red.[(((triple10 triple14) -> rule6))]
Charlie is not blue.
("Charlie" "is" "blue" "-")
triple1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple2
Charlie is round.
("Charlie" "is" "round" "+")
triple3
((triple2) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
triple4
Dave is furry.
("Dave" "is" "furry" "+")
triple6
((triple9 triple8) -> (rule4 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is not blue.
("Dave" "is" "blue" "-")
triple5
Dave is not quiet.
("Dave" "is" "quiet" "-")
triple7
Dave is round.
("Dave" "is" "round" "+")
triple8
Dave is smart.
("Dave" "is" "smart" "+")
triple9
Fiona is blue.
("Fiona" "is" "blue" "+")
triple10
Fiona is green.
("Fiona" "is" "green" "+")
triple12
Fiona is not furry.
("Fiona" "is" "furry" "-")
triple11
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
triple13
Fiona is round.
("Fiona" "is" "round" "+")
triple14
Fiona is smart.
("Fiona" "is" "smart" "+")
triple15
Dave is not red.
("Dave" "is" "red" "-")
((triple6) -> (rule7 % int1))
Dave is not red.
("Dave" "is" "red" "-")
int1
((((triple9 triple8) -> (rule4 % int2))) -> (rule7 % int1))
Dave is not red.
("Dave" "is" "red" "-")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
((triple10 triple14) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1