Anne is nice. Erin is white. Harry is not quiet. Rough, white people are nice. If someone is furry then they are nice. All furry people are big. All nice people are big. If someone is smart then they are big. If Anne is rough and Anne is quiet then Anne is furry. Nice, white people are rough. Big people are not white.
Anne is nice.
("Anne" "is" "nice" "+")
Erin is white.
("Erin" "is" "white" "+")
Harry is not quiet.
("Harry" "is" "quiet" "-")
Rough, white people are nice.
((("someone" "is" "rough" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "nice" "+"))
If someone is furry then they are nice.
((("someone" "is" "furry" "+")) -> ("someone" "is" "nice" "+"))
All furry people are big.
((("someone" "is" "furry" "+")) -> ("someone" "is" "big" "+"))
All nice people are big.
((("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is smart then they are big.
((("someone" "is" "smart" "+")) -> ("someone" "is" "big" "+"))
If Anne is rough and Anne is quiet then Anne is furry.
((("Anne" "is" "rough" "+") ("Anne" "is" "quiet" "+")) -> ("Anne" "is" "furry" "+"))
Nice, white people are rough.
((("someone" "is" "nice" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "rough" "+"))
Big people are not white.
((("someone" "is" "big" "+")) -> ("someone" "is" "white" "-"))
Harry is not quiet.
True
1
proof
[(triple3)]
("Harry" "is" "quiet" "-")
triple3
Anne is not nice.
False
1
inv-proof
[(triple1)]
("Anne" "is" "nice" "-")
triple1
Anne is big.
True
2
proof
[(((triple1) -> rule4))]
("Anne" "is" "big" "+")
((triple1) -> (rule4 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is not big.
False
2
inv-proof
[(((triple1) -> rule4))]
("Anne" "is" "big" "-")
((triple1) -> (rule4 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Harry is not big.
Unknown
inv-rconc
[@2: Harry is big.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("Harry" "is" "big" "-")
Harry is nice.
Unknown
rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "nice" "+")
Erin is not furry.
Unknown
inv-random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "-")
Erin is quiet.
Unknown
random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "+")
@0: Anne is nice.[(triple1)] Erin is white.[(triple2)] Harry is not quiet.[(triple3)] @1: Anne is big.[(((triple1) -> rule4))] @2: Anne is not white.[(((((triple1) -> rule4)) -> rule8))]
Anne is nice.
("Anne" "is" "nice" "+")
triple1
Erin is white.
("Erin" "is" "white" "+")
triple2
Harry is not quiet.
("Harry" "is" "quiet" "-")
triple3
Anne is big.
("Anne" "is" "big" "+")
((triple1) -> (rule4 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is not white.
("Anne" "is" "white" "-")
((((triple1) -> (rule4 % int2))) -> (rule8 % int1))
Anne is not white.
("Anne" "is" "white" "-")
int1
Anne is big.
("Anne" "is" "big" "+")
int2