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