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