Erin is furry. Erin is rough. Erin is young. All green people are furry. If someone is round then they are furry. Rough, furry people are blue. Big people are furry. If someone is big and young then they are green. If someone is round and big then they are rough.
Erin is furry.
("Erin" "is" "furry" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is young.
("Erin" "is" "young" "+")
All green people are furry.
((("someone" "is" "green" "+")) -> ("someone" "is" "furry" "+"))
If someone is round then they are furry.
((("someone" "is" "round" "+")) -> ("someone" "is" "furry" "+"))
Rough, furry people are blue.
((("someone" "is" "rough" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "blue" "+"))
Big people are furry.
((("someone" "is" "big" "+")) -> ("someone" "is" "furry" "+"))
If someone is big and young then they are green.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If someone is round and big then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
Erin is rough.
True
1
proof
[(triple2)]
("Erin" "is" "rough" "+")
triple2
Erin is not furry.
False
1
inv-proof
[(triple1)]
("Erin" "is" "furry" "-")
triple1
Erin is not green.
Unknown
inv-rconc
[@1: Erin is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Erin" "is" "green" "-")
Erin is round.
Unknown
random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "+")
@0: Erin is furry.[(triple1)] Erin is rough.[(triple2)] Erin is young.[(triple3)] @1: Erin is blue.[(((triple2 triple1) -> rule3))]
Erin is furry.
("Erin" "is" "furry" "+")
triple1
Erin is rough.
("Erin" "is" "rough" "+")
triple2
Erin is young.
("Erin" "is" "young" "+")
triple3
Erin is blue.
("Erin" "is" "blue" "+")
((triple2 triple1) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1