Fiona is furry. Gary is quiet. Harry is smart. If someone is green and not cold then they are red. If Fiona is quiet and Fiona is big then Fiona is not smart. All smart people are not big.
Fiona is furry.
("Fiona" "is" "furry" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Harry is smart.
("Harry" "is" "smart" "+")
If someone is green and not cold then they are red.
((("someone" "is" "green" "+") ("someone" "is" "cold" "~")) -> ("someone" "is" "red" "+"))
If Fiona is quiet and Fiona is big then Fiona is not smart.
((("Fiona" "is" "quiet" "+") ("Fiona" "is" "big" "+")) -> ("Fiona" "is" "smart" "-"))
All smart people are not big.
((("someone" "is" "smart" "+")) -> ("someone" "is" "big" "-"))
Harry is smart.
True
1
proof
[(triple3)]
("Harry" "is" "smart" "+")
triple3
Fiona is not furry.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "furry" "-")
triple1
Fiona is not red.
Unknown
inv-rconc
[@1: Fiona is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "red" "-")
Harry is furry.
Unknown
random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "+")
@0: Fiona is furry.[(triple1)] Gary is quiet.[(triple2)] Harry is smart.[(triple3)] @1: Harry is not big.[(((triple3) -> rule3))]
Fiona is furry.
("Fiona" "is" "furry" "+")
triple1
Gary is quiet.
("Gary" "is" "quiet" "+")
triple2
Harry is smart.
("Harry" "is" "smart" "+")
triple3
Harry is not big.
("Harry" "is" "big" "-")
((triple3) -> (rule3 % int1))
Harry is not big.
("Harry" "is" "big" "-")
int1