Charlie is not furry. Charlie is quiet. Charlie is round. Fiona is furry. Fiona is quiet. Fiona is young. Harry is blue. If Fiona is not furry then Fiona is blue. All blue, young people are quiet. If Charlie is quiet and Charlie is round then Charlie is not furry.
Charlie is not furry.
("Charlie" "is" "furry" "-")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If Fiona is not furry then Fiona is blue.
((("Fiona" "is" "furry" "~")) -> ("Fiona" "is" "blue" "+"))
All blue, young people are quiet.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "quiet" "+"))
If Charlie is quiet and Charlie is round then Charlie is not furry.
((("Charlie" "is" "quiet" "+") ("Charlie" "is" "round" "+")) -> ("Charlie" "is" "furry" "-"))
Charlie is quiet.
True
1
proof
[(triple2)]
("Charlie" "is" "quiet" "+")
triple2
Charlie is not round.
False
1
inv-proof
[(triple3)]
("Charlie" "is" "round" "-")
triple3
Fiona is not blue.
Unknown
inv-rconc
[@1: Fiona is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "blue" "-")
Harry is furry.
Unknown
random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "+")
@0: Charlie is not furry.[(triple1 OR ((triple2 triple3) -> rule3))] Charlie is quiet.[(triple2)] Charlie is round.[(triple3)] Fiona is furry.[(triple4)] Fiona is quiet.[(triple5)] Fiona is young.[(triple6)] Harry is blue.[(triple7)]
Charlie is not furry.
("Charlie" "is" "furry" "-")
triple1
((triple2 triple3) -> (rule3 % int1))
Charlie is not furry.
("Charlie" "is" "furry" "-")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple2
Charlie is round.
("Charlie" "is" "round" "+")
triple3
Fiona is furry.
("Fiona" "is" "furry" "+")
triple4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple5
Fiona is young.
("Fiona" "is" "young" "+")
triple6
Harry is blue.
("Harry" "is" "blue" "+")
triple7