Erin is not big. Erin is furry. Erin is red. Erin is rough. Fiona is white. Gary is big. Gary is blue. Gary is rough. Gary is young. Harry is rough. Harry is white. Harry is not young. If Harry is not rough then Harry is not furry. If someone is white and furry then they are young. All young, red people are furry. If someone is white and not rough then they are not red. All red, rough people are not white. If Erin is not rough and Erin is not white then Erin is big. If someone is young then they are blue. If someone is big then they are blue.
Erin is not big.
("Erin" "is" "big" "-")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is white.
("Harry" "is" "white" "+")
Harry is not young.
("Harry" "is" "young" "-")
If Harry is not rough then Harry is not furry.
((("Harry" "is" "rough" "~")) -> ("Harry" "is" "furry" "-"))
If someone is white and furry then they are young.
((("someone" "is" "white" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "young" "+"))
All young, red people are furry.
((("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "furry" "+"))
If someone is white and not rough then they are not red.
((("someone" "is" "white" "+") ("someone" "is" "rough" "~")) -> ("someone" "is" "red" "-"))
All red, rough people are not white.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "white" "-"))
If Erin is not rough and Erin is not white then Erin is big.
((("Erin" "is" "rough" "~") ("Erin" "is" "white" "~")) -> ("Erin" "is" "big" "+"))
If someone is young then they are blue.
((("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is big then they are blue.
((("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
Erin is not big.
True
1
proof
[(triple1)]
("Erin" "is" "big" "-")
triple1
Erin is not furry.
False
1
inv-proof
[(triple2)]
("Erin" "is" "furry" "-")
triple2
Fiona is not furry.
Unknown
inv-rconc
[@1: Fiona is furry.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "furry" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
@0: Erin is furry.[(triple2)] Erin is not big.[(triple1)] Erin is red.[(triple3)] Erin is rough.[(triple4)] Fiona is white.[(triple5)] Gary is big.[(triple6)] Gary is blue.[(triple7 OR ((triple6) -> rule8) OR ((triple9) -> rule7))] Gary is rough.[(triple8)] Gary is young.[(triple9)] Harry is not young.[(triple12)] Harry is rough.[(triple10)] Harry is white.[(triple11)] @1: Erin is not white.[(((triple3 triple4) -> rule5))]
Erin is furry.
("Erin" "is" "furry" "+")
triple2
Erin is not big.
("Erin" "is" "big" "-")
triple1
Erin is red.
("Erin" "is" "red" "+")
triple3
Erin is rough.
("Erin" "is" "rough" "+")
triple4
Fiona is white.
("Fiona" "is" "white" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple6
Gary is blue.
("Gary" "is" "blue" "+")
triple7
((triple6) -> (rule8 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
((triple9) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
triple8
Gary is young.
("Gary" "is" "young" "+")
triple9
Harry is not young.
("Harry" "is" "young" "-")
triple12
Harry is rough.
("Harry" "is" "rough" "+")
triple10
Harry is white.
("Harry" "is" "white" "+")
triple11
Erin is not white.
("Erin" "is" "white" "-")
((triple3 triple4) -> (rule5 % int1))
Erin is not white.
("Erin" "is" "white" "-")
int1