Anne is furry. Anne is nice. Anne is not rough. Anne is smart. Erin is not rough. Erin is smart. Erin is young. Gary is furry. Gary is not red. Gary is smart. Round people are rough. If Erin is smart then Erin is red. If Erin is nice then Erin is not red. If Anne is rough and Anne is nice then Anne is furry. All young, furry people are not nice. Smart, red people are furry. If someone is nice and not round then they are not furry. If Anne is round and Anne is not rough then Anne is not young.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is not rough.
("Anne" "is" "rough" "-")
Anne is smart.
("Anne" "is" "smart" "+")
Erin is not rough.
("Erin" "is" "rough" "-")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is young.
("Erin" "is" "young" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is not red.
("Gary" "is" "red" "-")
Gary is smart.
("Gary" "is" "smart" "+")
Round people are rough.
((("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If Erin is smart then Erin is red.
((("Erin" "is" "smart" "+")) -> ("Erin" "is" "red" "+"))
If Erin is nice then Erin is not red.
((("Erin" "is" "nice" "+")) -> ("Erin" "is" "red" "-"))
If Anne is rough and Anne is nice then Anne is furry.
((("Anne" "is" "rough" "+") ("Anne" "is" "nice" "+")) -> ("Anne" "is" "furry" "+"))
All young, furry people are not nice.
((("someone" "is" "young" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "nice" "-"))
Smart, red people are furry.
((("someone" "is" "smart" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "furry" "+"))
If someone is nice and not round then they are not furry.
((("someone" "is" "nice" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "furry" "-"))
If Anne is round and Anne is not rough then Anne is not young.
((("Anne" "is" "round" "+") ("Anne" "is" "rough" "~")) -> ("Anne" "is" "young" "-"))
Anne is furry.
True
1
proof
[(triple1)]
("Anne" "is" "furry" "+")
triple1
Erin is rough.
False
1
inv-proof
[(triple5)]
("Erin" "is" "rough" "+")
triple5
Erin is red.
True
2
proof
[(((triple6) -> rule2))]
("Erin" "is" "red" "+")
((triple6) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is not red.
False
2
inv-proof
[(((triple6) -> rule2))]
("Erin" "is" "red" "-")
((triple6) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is furry.
True
4
proof
[(((triple6 ((triple6) -> rule2)) -> rule6))]
("Erin" "is" "furry" "+")
((triple6 ((triple6) -> (rule2 % int2))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is not furry.
False
4
inv-proof
[(((triple6 ((triple6) -> rule2)) -> rule6))]
("Erin" "is" "furry" "-")
((triple6 ((triple6) -> (rule2 % int2))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Gary is not rough.
Unknown
inv-rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "rough" "-")
Anne is young.
Unknown
random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "+")
Anne is not red.
Unknown
inv-random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "-")
Erin is round.
Unknown
random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
@0: Anne is furry.[(triple1)] Anne is nice.[(triple2)] Anne is not rough.[(triple3)] Anne is smart.[(triple4)] Erin is not rough.[(triple5)] Erin is smart.[(triple6)] Erin is young.[(triple7)] Gary is furry.[(triple8)] Gary is not red.[(triple9)] Gary is smart.[(triple10)] @1: Erin is red.[(((triple6) -> rule2))] @2: Erin is furry.[(((triple6 ((triple6) -> rule2)) -> rule6))] @3: Erin is not nice.[(((triple7 ((triple6 ((triple6) -> rule2)) -> rule6)) -> rule5))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is not rough.
("Anne" "is" "rough" "-")
triple3
Anne is smart.
("Anne" "is" "smart" "+")
triple4
Erin is not rough.
("Erin" "is" "rough" "-")
triple5
Erin is smart.
("Erin" "is" "smart" "+")
triple6
Erin is young.
("Erin" "is" "young" "+")
triple7
Gary is furry.
("Gary" "is" "furry" "+")
triple8
Gary is not red.
("Gary" "is" "red" "-")
triple9
Gary is smart.
("Gary" "is" "smart" "+")
triple10
Erin is red.
("Erin" "is" "red" "+")
((triple6) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
((triple6 ((triple6) -> (rule2 % int2))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is not nice.
("Erin" "is" "nice" "-")
((triple7 ((triple6 ((triple6) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Erin is not nice.
("Erin" "is" "nice" "-")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3