Fiona is red. Harry is smart. If Fiona is furry then Fiona is smart. If Harry is round and Harry is not young then Harry is furry. Green, smart people are round. If Fiona is round then Fiona is not green. Red people are not smart. If someone is young and green then they are furry. All smart, white people are green. If someone is green and not red then they are not white.
Fiona is red.
("Fiona" "is" "red" "+")
Harry is smart.
("Harry" "is" "smart" "+")
If Fiona is furry then Fiona is smart.
((("Fiona" "is" "furry" "+")) -> ("Fiona" "is" "smart" "+"))
If Harry is round and Harry is not young then Harry is furry.
((("Harry" "is" "round" "+") ("Harry" "is" "young" "~")) -> ("Harry" "is" "furry" "+"))
Green, smart people are round.
((("someone" "is" "green" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "round" "+"))
If Fiona is round then Fiona is not green.
((("Fiona" "is" "round" "+")) -> ("Fiona" "is" "green" "-"))
Red people are not smart.
((("someone" "is" "red" "+")) -> ("someone" "is" "smart" "-"))
If someone is young and green then they are furry.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "furry" "+"))
All smart, white people are green.
((("someone" "is" "smart" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "green" "+"))
If someone is green and not red then they are not white.
((("someone" "is" "green" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "white" "-"))
Harry is smart.
True
1
proof
[(triple2)]
("Harry" "is" "smart" "+")
triple2
Harry is not smart.
False
1
inv-proof
[(triple2)]
("Harry" "is" "smart" "-")
triple2
Fiona is not smart.
True
2
proof
[(((triple1) -> rule5))]
("Fiona" "is" "smart" "-")
((triple1) -> (rule5 % int1))
Fiona is not smart.
("Fiona" "is" "smart" "-")
int1
Fiona is smart.
False
2
inv-proof
[(((triple1) -> rule5))]
("Fiona" "is" "smart" "+")
((triple1) -> (rule5 % int1))
Fiona is not smart.
("Fiona" "is" "smart" "-")
int1
Fiona is not round.
Unknown
inv-rconc
[@1: Fiona is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "round" "-")
Fiona is green.
Unknown
rconc
[@1: Fiona is green.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Fiona" "is" "green" "+")
Harry is not white.
Unknown
inv-random
[@0: Harry is white.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "white" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
@0: Fiona is red.[(triple1)] Harry is smart.[(triple2)] @1: Fiona is not smart.[(((triple1) -> rule5))]
Fiona is red.
("Fiona" "is" "red" "+")
triple1
Harry is smart.
("Harry" "is" "smart" "+")
triple2
Fiona is not smart.
("Fiona" "is" "smart" "-")
((triple1) -> (rule5 % int1))
Fiona is not smart.
("Fiona" "is" "smart" "-")
int1