Charlie is young. Erin is round. Fiona is smart. Harry is blue. If Charlie is furry and Charlie is not big then Charlie is not smart. If Charlie is big and Charlie is round then Charlie is furry. If something is round and young then it is blue. All young things are round. If Fiona is not young then Fiona is not blue. If Fiona is red and Fiona is not big then Fiona is blue.
Charlie is young.
("Charlie" "is" "young" "+")
Erin is round.
("Erin" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If Charlie is furry and Charlie is not big then Charlie is not smart.
((("Charlie" "is" "furry" "+") ("Charlie" "is" "big" "~")) -> ("Charlie" "is" "smart" "-"))
If Charlie is big and Charlie is round then Charlie is furry.
((("Charlie" "is" "big" "+") ("Charlie" "is" "round" "+")) -> ("Charlie" "is" "furry" "+"))
If something is round and young then it is blue.
((("something" "is" "round" "+") ("something" "is" "young" "+")) -> ("something" "is" "blue" "+"))
All young things are round.
((("something" "is" "young" "+")) -> ("something" "is" "round" "+"))
If Fiona is not young then Fiona is not blue.
((("Fiona" "is" "young" "~")) -> ("Fiona" "is" "blue" "-"))
If Fiona is red and Fiona is not big then Fiona is blue.
((("Fiona" "is" "red" "+") ("Fiona" "is" "big" "~")) -> ("Fiona" "is" "blue" "+"))
Fiona is smart.
True
1
proof
[(triple3)]
("Fiona" "is" "smart" "+")
triple3
Fiona is not smart.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "smart" "-")
triple3
Fiona is not blue.
Unknown
inv-rconc
[@1: Fiona is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "blue" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
@0: Charlie is young.[(triple1)] Erin is round.[(triple2)] Fiona is smart.[(triple3)] Harry is blue.[(triple4)] @1: Charlie is round.[(((triple1) -> rule4))] @2: Charlie is blue.[(((((triple1) -> rule4) triple1) -> rule3))]
Charlie is young.
("Charlie" "is" "young" "+")
triple1
Erin is round.
("Erin" "is" "round" "+")
triple2
Fiona is smart.
("Fiona" "is" "smart" "+")
triple3
Harry is blue.
("Harry" "is" "blue" "+")
triple4
Charlie is round.
("Charlie" "is" "round" "+")
((triple1) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
((((triple1) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2