Bob is green. Bob is round. Bob is young. Erin is furry. Erin is rough. Erin is round. Erin is young. Gary is big. Gary is furry. Gary is rough. Gary is smart. Gary is young. If something is smart and not round then it is not green. If Bob is rough then Bob is furry. All smart things are furry. If Gary is smart and Gary is rough then Gary is not green. If Bob is not smart then Bob is young. If Erin is round and Erin is rough then Erin is smart.
Bob is green.
("Bob" "is" "green" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is young.
("Bob" "is" "young" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is young.
("Erin" "is" "young" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is young.
("Gary" "is" "young" "+")
If something is smart and not round then it is not green.
((("something" "is" "smart" "+") ("something" "is" "round" "~")) -> ("something" "is" "green" "-"))
If Bob is rough then Bob is furry.
((("Bob" "is" "rough" "+")) -> ("Bob" "is" "furry" "+"))
All smart things are furry.
((("something" "is" "smart" "+")) -> ("something" "is" "furry" "+"))
If Gary is smart and Gary is rough then Gary is not green.
((("Gary" "is" "smart" "+") ("Gary" "is" "rough" "+")) -> ("Gary" "is" "green" "-"))
If Bob is not smart then Bob is young.
((("Bob" "is" "smart" "~")) -> ("Bob" "is" "young" "+"))
If Erin is round and Erin is rough then Erin is smart.
((("Erin" "is" "round" "+") ("Erin" "is" "rough" "+")) -> ("Erin" "is" "smart" "+"))
Gary is rough.
True
1
proof
[(triple10)]
("Gary" "is" "rough" "+")
triple10
Erin is not rough.
False
1
inv-proof
[(triple5)]
("Erin" "is" "rough" "-")
triple5
Gary is not green.
True
3
proof
[(((triple11 triple10) -> rule4))]
("Gary" "is" "green" "-")
((triple11 triple10) -> (rule4 % int1))
Gary is not green.
("Gary" "is" "green" "-")
int1
Gary is green.
False
3
inv-proof
[(((triple11 triple10) -> rule4))]
("Gary" "is" "green" "+")
((triple11 triple10) -> (rule4 % int1))
Gary is not green.
("Gary" "is" "green" "-")
int1
Bob is not furry.
Unknown
inv-rconc
[@1: Bob is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "furry" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
Bob is not big.
Unknown
inv-random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "-")
Bob is smart.
Unknown
random
[@0: Bob is smart.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "smart" "+")
@0: Bob is green.[(triple1)] Bob is round.[(triple2)] Bob is young.[(triple3)] Erin is furry.[(triple4 OR ((((triple6 triple5) -> rule6)) -> rule3))] Erin is rough.[(triple5)] Erin is round.[(triple6)] Erin is young.[(triple7)] Gary is big.[(triple8)] Gary is furry.[(triple9 OR ((triple11) -> rule3))] Gary is rough.[(triple10)] Gary is smart.[(triple11)] Gary is young.[(triple12)] @1: Erin is smart.[(((triple6 triple5) -> rule6))] Gary is not green.[(((triple11 triple10) -> rule4))]
Bob is green.
("Bob" "is" "green" "+")
triple1
Bob is round.
("Bob" "is" "round" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple3
Erin is furry.
("Erin" "is" "furry" "+")
triple4
((((triple6 triple5) -> (rule6 % int2))) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
triple5
Erin is round.
("Erin" "is" "round" "+")
triple6
Erin is young.
("Erin" "is" "young" "+")
triple7
Gary is big.
("Gary" "is" "big" "+")
triple8
Gary is furry.
("Gary" "is" "furry" "+")
triple9
((triple11) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
triple10
Gary is smart.
("Gary" "is" "smart" "+")
triple11
Gary is young.
("Gary" "is" "young" "+")
triple12
Erin is smart.
("Erin" "is" "smart" "+")
((triple6 triple5) -> (rule6 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Gary is not green.
("Gary" "is" "green" "-")
((triple11 triple10) -> (rule4 % int1))
Gary is not green.
("Gary" "is" "green" "-")
int1