Fiona is round. Harry is green. If Fiona is green and Fiona is blue then Fiona is not round. If Fiona is furry and Fiona is kind then Fiona is round. All green things are kind. If something is furry then it is not kind. If something is furry and not green then it is blue. Blue things are cold. Green, smart things are cold. If something is furry and not kind then it is smart.
Fiona is round.
("Fiona" "is" "round" "+")
Harry is green.
("Harry" "is" "green" "+")
If Fiona is green and Fiona is blue then Fiona is not round.
((("Fiona" "is" "green" "+") ("Fiona" "is" "blue" "+")) -> ("Fiona" "is" "round" "-"))
If Fiona is furry and Fiona is kind then Fiona is round.
((("Fiona" "is" "furry" "+") ("Fiona" "is" "kind" "+")) -> ("Fiona" "is" "round" "+"))
All green things are kind.
((("something" "is" "green" "+")) -> ("something" "is" "kind" "+"))
If something is furry then it is not kind.
((("something" "is" "furry" "+")) -> ("something" "is" "kind" "-"))
If something is furry and not green then it is blue.
((("something" "is" "furry" "+") ("something" "is" "green" "~")) -> ("something" "is" "blue" "+"))
Blue things are cold.
((("something" "is" "blue" "+")) -> ("something" "is" "cold" "+"))
Green, smart things are cold.
((("something" "is" "green" "+") ("something" "is" "smart" "+")) -> ("something" "is" "cold" "+"))
If something is furry and not kind then it is smart.
((("something" "is" "furry" "+") ("something" "is" "kind" "~")) -> ("something" "is" "smart" "+"))
Harry is green.
True
1
proof
[(triple2)]
("Harry" "is" "green" "+")
triple2
Fiona is not round.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "round" "-")
triple1
Fiona is not smart.
Unknown
inv-rconc
[@1: Fiona is smart.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Fiona" "is" "smart" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
@0: Fiona is round.[(triple1)] Harry is green.[(triple2)] @1: Harry is kind.[(((triple2) -> rule3))]
Fiona is round.
("Fiona" "is" "round" "+")
triple1
Harry is green.
("Harry" "is" "green" "+")
triple2
Harry is kind.
("Harry" "is" "kind" "+")
((triple2) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1