Bob is big. Bob is not cold. Bob is not furry. Bob is red. Bob is rough. Bob is round. Bob is young. Erin is not big. Erin is furry. Erin is red. Erin is rough. Erin is young. If someone is furry then they are rough. If someone is big then they are rough.
Bob is big.
("Bob" "is" "big" "+")
Bob is not cold.
("Bob" "is" "cold" "-")
Bob is not furry.
("Bob" "is" "furry" "-")
Bob is red.
("Bob" "is" "red" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is young.
("Bob" "is" "young" "+")
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" "+")
Erin is young.
("Erin" "is" "young" "+")
If someone is furry then they are rough.
((("someone" "is" "furry" "+")) -> ("someone" "is" "rough" "+"))
If someone is big then they are rough.
((("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
Erin is not big.
True
1
proof
[(triple8)]
("Erin" "is" "big" "-")
triple8
Bob is not young.
False
1
inv-proof
[(triple7)]
("Bob" "is" "young" "-")
triple7
Erin is not cold.
Unknown
inv-random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "-")
Erin is round.
Unknown
random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "+")
@0: Bob is big.[(triple1)] Bob is not cold.[(triple2)] Bob is not furry.[(triple3)] Bob is red.[(triple4)] Bob is rough.[(triple5 OR ((triple1) -> rule2))] Bob is round.[(triple6)] Bob is young.[(triple7)] Erin is furry.[(triple9)] Erin is not big.[(triple8)] Erin is red.[(triple10)] Erin is rough.[(triple11 OR ((triple9) -> rule1))] Erin is young.[(triple12)]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is not cold.
("Bob" "is" "cold" "-")
triple2
Bob is not furry.
("Bob" "is" "furry" "-")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple4
Bob is rough.
("Bob" "is" "rough" "+")
triple5
((triple1) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
triple6
Bob is young.
("Bob" "is" "young" "+")
triple7
Erin is furry.
("Erin" "is" "furry" "+")
triple9
Erin is not big.
("Erin" "is" "big" "-")
triple8
Erin is red.
("Erin" "is" "red" "+")
triple10
Erin is rough.
("Erin" "is" "rough" "+")
triple11
((triple9) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
triple12