Charlie is blue. Dave is blue. Dave is furry. Dave is quiet. Dave is rough. Dave is not round. Fiona is blue. Fiona is furry. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is round. If Charlie is red then Charlie is quiet. If someone is red then they are big. If Fiona is not rough then Fiona is furry. If Charlie is not quiet then Charlie is not blue. If someone is red and big then they are blue. If someone is rough and not quiet then they are not blue. If Charlie is not quiet and Charlie is not red then Charlie is not rough. If Dave is not quiet and Dave is not blue then Dave is round.
Charlie is blue.
("Charlie" "is" "blue" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is not round.
("Dave" "is" "round" "-")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
If Charlie is red then Charlie is quiet.
((("Charlie" "is" "red" "+")) -> ("Charlie" "is" "quiet" "+"))
If someone is red then they are big.
((("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If Fiona is not rough then Fiona is furry.
((("Fiona" "is" "rough" "~")) -> ("Fiona" "is" "furry" "+"))
If Charlie is not quiet then Charlie is not blue.
((("Charlie" "is" "quiet" "~")) -> ("Charlie" "is" "blue" "-"))
If someone is red and big then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and not quiet then they are not blue.
((("someone" "is" "rough" "+") ("someone" "is" "quiet" "~")) -> ("someone" "is" "blue" "-"))
If Charlie is not quiet and Charlie is not red then Charlie is not rough.
((("Charlie" "is" "quiet" "~") ("Charlie" "is" "red" "~")) -> ("Charlie" "is" "rough" "-"))
If Dave is not quiet and Dave is not blue then Dave is round.
((("Dave" "is" "quiet" "~") ("Dave" "is" "blue" "~")) -> ("Dave" "is" "round" "+"))
Fiona is furry.
True
1
proof
[(triple8)]
("Fiona" "is" "furry" "+")
triple8
Dave is not quiet.
False
1
inv-proof
[(triple4)]
("Dave" "is" "quiet" "-")
triple4
Fiona is big.
True
2
proof
[(((triple10) -> rule2))]
("Fiona" "is" "big" "+")
((triple10) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is not big.
False
2
inv-proof
[(((triple10) -> rule2))]
("Fiona" "is" "big" "-")
((triple10) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Charlie is not quiet.
Unknown
inv-rconc
[@1: Charlie is quiet.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "quiet" "-")
Charlie is big.
Unknown
rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "big" "+")
Dave is not red.
Unknown
inv-random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
@0: Charlie is blue.[(triple1)] Dave is blue.[(triple2)] Dave is furry.[(triple3)] Dave is not round.[(triple6)] Dave is quiet.[(triple4)] Dave is rough.[(triple5)] Fiona is blue.[(triple7 OR ((triple10 ((triple10) -> rule2)) -> rule5))] Fiona is furry.[(triple8)] Fiona is quiet.[(triple9)] Fiona is red.[(triple10)] Fiona is rough.[(triple11)] Fiona is round.[(triple12)] @1: Fiona is big.[(((triple10) -> rule2))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple2
Dave is furry.
("Dave" "is" "furry" "+")
triple3
Dave is not round.
("Dave" "is" "round" "-")
triple6
Dave is quiet.
("Dave" "is" "quiet" "+")
triple4
Dave is rough.
("Dave" "is" "rough" "+")
triple5
Fiona is blue.
("Fiona" "is" "blue" "+")
triple7
((triple10 ((triple10) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
triple8
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple9
Fiona is red.
("Fiona" "is" "red" "+")
triple10
Fiona is rough.
("Fiona" "is" "rough" "+")
triple11
Fiona is round.
("Fiona" "is" "round" "+")
triple12
Fiona is big.
("Fiona" "is" "big" "+")
((triple10) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1