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