Bob is young. Dave is quiet. Dave is rough. Dave is young. Erin is big. Erin is rough. Erin is round. Erin is white. Erin is young. Gary is quiet. Gary is rough. Gary is white. All rough people are big. If Gary is big then Gary is white. Quiet, furry people are young. If someone is round and rough then they are big. If someone is rough and quiet then they are big. If someone is young then they are rough. Furry people are big. If Dave is big then Dave is rough.
Bob is young.
("Bob" "is" "young" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is white.
("Gary" "is" "white" "+")
All rough people are big.
((("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If Gary is big then Gary is white.
((("Gary" "is" "big" "+")) -> ("Gary" "is" "white" "+"))
Quiet, furry people are young.
((("someone" "is" "quiet" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "young" "+"))
If someone is round and rough then they are big.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and quiet then they are big.
((("someone" "is" "rough" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "big" "+"))
If someone is young then they are rough.
((("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
Furry people are big.
((("someone" "is" "furry" "+")) -> ("someone" "is" "big" "+"))
If Dave is big then Dave is rough.
((("Dave" "is" "big" "+")) -> ("Dave" "is" "rough" "+"))
Erin is round.
True
1
proof
[(triple7)]
("Erin" "is" "round" "+")
triple7
Erin is not round.
False
1
inv-proof
[(triple7)]
("Erin" "is" "round" "-")
triple7
Gary is big.
True
2
proof
[(((triple11) -> rule1) OR ((triple11 triple10) -> rule5))]
("Gary" "is" "big" "+")
((triple11) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((triple11 triple10) -> (rule5 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is not big.
False
2
inv-proof
[(((triple11) -> rule1) OR ((triple11 triple10) -> rule5))]
("Gary" "is" "big" "-")
((triple11) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((triple11 triple10) -> (rule5 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Bob is big.
True
3
proof
[(((((triple1) -> rule6)) -> rule1))]
("Bob" "is" "big" "+")
((((triple1) -> (rule6 % int2))) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is not big.
False
3
inv-proof
[(((((triple1) -> rule6)) -> rule1))]
("Bob" "is" "big" "-")
((((triple1) -> (rule6 % int2))) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Gary is not young.
Unknown
inv-rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "young" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
Erin is not quiet.
Unknown
inv-random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "-")
Bob is furry.
Unknown
random
[@0: Bob is furry.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "furry" "+")
Bob is not quiet.
Unknown
inv-random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "-")
Erin is furry.
Unknown
random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "+")
@0: Bob is young.[(triple1)] Dave is quiet.[(triple2)] Dave is rough.[(triple3 OR ((triple4) -> rule6))] Dave is young.[(triple4)] Erin is big.[(triple5 OR ((triple6) -> rule1) OR ((triple7 triple6) -> rule4) OR ((((triple9) -> rule6)) -> rule1) OR ((triple7 ((triple9) -> rule6)) -> rule4))] Erin is rough.[(triple6 OR ((triple9) -> rule6))] Erin is round.[(triple7)] Erin is white.[(triple8)] Erin is young.[(triple9)] Gary is quiet.[(triple10)] Gary is rough.[(triple11)] Gary is white.[(triple12 OR ((((triple11) -> rule1)) -> rule2) OR ((((triple11 triple10) -> rule5)) -> rule2))] @1: Bob is rough.[(((triple1) -> rule6))] Dave is big.[(((triple3) -> rule1) OR ((triple3 triple2) -> rule5) OR ((((triple4) -> rule6)) -> rule1) OR ((((triple4) -> rule6) triple2) -> rule5))] Gary is big.[(((triple11) -> rule1) OR ((triple11 triple10) -> rule5))] @2: Bob is big.[(((((triple1) -> rule6)) -> rule1))]
Bob is young.
("Bob" "is" "young" "+")
triple1
Dave is quiet.
("Dave" "is" "quiet" "+")
triple2
Dave is rough.
("Dave" "is" "rough" "+")
triple3
((triple4) -> (rule6 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
triple4
Erin is big.
("Erin" "is" "big" "+")
triple5
((triple6) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((triple7 triple6) -> (rule4 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((((triple9) -> (rule6 % int2))) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
((triple7 ((triple9) -> (rule6 % int2))) -> (rule4 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
triple6
((triple9) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
triple7
Erin is white.
("Erin" "is" "white" "+")
triple8
Erin is young.
("Erin" "is" "young" "+")
triple9
Gary is quiet.
("Gary" "is" "quiet" "+")
triple10
Gary is rough.
("Gary" "is" "rough" "+")
triple11
Gary is white.
("Gary" "is" "white" "+")
triple12
((((triple11) -> (rule1 % int2))) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
((((triple11 triple10) -> (rule5 % int2))) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
((triple1) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
((triple3) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
((triple3 triple2) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
((((triple4) -> (rule6 % int2))) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
((((triple4) -> (rule6 % int2)) triple2) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
((triple11) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((triple11 triple10) -> (rule5 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
((((triple1) -> (rule6 % int2))) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2