Erin is rough. If someone is green and furry then they are smart. If Erin is furry then Erin is not big. If someone is rough then they are furry. All big, green people are rough. Smart people are young. Green, smart people are not young. If someone is furry and not nice then they are not young. If Erin is furry and Erin is not green then Erin is young.
Erin is rough.
("Erin" "is" "rough" "+")
If someone is green and furry then they are smart.
((("someone" "is" "green" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "smart" "+"))
If Erin is furry then Erin is not big.
((("Erin" "is" "furry" "+")) -> ("Erin" "is" "big" "-"))
If someone is rough then they are furry.
((("someone" "is" "rough" "+")) -> ("someone" "is" "furry" "+"))
All big, green people are rough.
((("someone" "is" "big" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
Smart people are young.
((("someone" "is" "smart" "+")) -> ("someone" "is" "young" "+"))
Green, smart people are not young.
((("someone" "is" "green" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "young" "-"))
If someone is furry and not nice then they are not young.
((("someone" "is" "furry" "+") ("someone" "is" "nice" "~")) -> ("someone" "is" "young" "-"))
If Erin is furry and Erin is not green then Erin is young.
((("Erin" "is" "furry" "+") ("Erin" "is" "green" "~")) -> ("Erin" "is" "young" "+"))
Erin is rough.
True
1
proof
[(triple1)]
("Erin" "is" "rough" "+")
triple1
Erin is not rough.
False
1
inv-proof
[(triple1)]
("Erin" "is" "rough" "-")
triple1
Erin is furry.
True
2
proof
[(((triple1) -> rule3))]
("Erin" "is" "furry" "+")
((triple1) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is not furry.
False
2
inv-proof
[(((triple1) -> rule3))]
("Erin" "is" "furry" "-")
((triple1) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is not big.
True
3
proof
[(((((triple1) -> rule3)) -> rule2))]
("Erin" "is" "big" "-")
((((triple1) -> (rule3 % int2))) -> (rule2 % int1))
Erin is not big.
("Erin" "is" "big" "-")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is big.
False
3
inv-proof
[(((((triple1) -> rule3)) -> rule2))]
("Erin" "is" "big" "+")
((((triple1) -> (rule3 % int2))) -> (rule2 % int1))
Erin is not big.
("Erin" "is" "big" "-")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is not young.
Unknown
inv-rconc
[@2: Erin is young.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Erin" "is" "young" "-")
Erin is smart.
Unknown
rconc
[@1: Erin is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "smart" "+")
Erin is not green.
Unknown
inv-random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "-")
Erin is nice.
Unknown
random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "+")
@0: Erin is rough.[(triple1)] @1: Erin is furry.[(((triple1) -> rule3))] @2: Erin is not big.[(((((triple1) -> rule3)) -> rule2))]
Erin is rough.
("Erin" "is" "rough" "+")
triple1
Erin is furry.
("Erin" "is" "furry" "+")
((triple1) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is not big.
("Erin" "is" "big" "-")
((((triple1) -> (rule3 % int2))) -> (rule2 % int1))
Erin is not big.
("Erin" "is" "big" "-")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2