Bob is big. Bob is cold. Bob is furry. Bob is green. Erin is big. Erin is furry. Erin is green. Erin is rough. Erin is smart. Gary is big. Gary is cold. Gary is furry. Gary is green. Gary is kind. Gary is smart. If something is cold and furry then it is kind. Smart things are cold.
Bob is big.
("Bob" "is" "big" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
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 smart.
("Erin" "is" "smart" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is smart.
("Gary" "is" "smart" "+")
If something is cold and furry then it is kind.
((("something" "is" "cold" "+") ("something" "is" "furry" "+")) -> ("something" "is" "kind" "+"))
Smart things are cold.
((("something" "is" "smart" "+")) -> ("something" "is" "cold" "+"))
Erin is smart.
True
1
proof
[(triple9)]
("Erin" "is" "smart" "+")
triple9
Gary is not furry.
False
1
inv-proof
[(triple12)]
("Gary" "is" "furry" "-")
triple12
Bob is kind.
True
3
proof
[(((triple2 triple3) -> rule1))]
("Bob" "is" "kind" "+")
((triple2 triple3) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is not kind.
False
3
inv-proof
[(((triple2 triple3) -> rule1))]
("Bob" "is" "kind" "-")
((triple2 triple3) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Erin is kind.
True
4
proof
[(((((triple9) -> rule2) triple6) -> rule1))]
("Erin" "is" "kind" "+")
((((triple9) -> (rule2 % int2)) triple6) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is not kind.
False
4
inv-proof
[(((((triple9) -> rule2) triple6) -> rule1))]
("Erin" "is" "kind" "-")
((((triple9) -> (rule2 % int2)) triple6) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Bob is not rough.
Unknown
inv-random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is furry.[(triple3)] Bob is green.[(triple4)] Erin is big.[(triple5)] Erin is furry.[(triple6)] Erin is green.[(triple7)] Erin is rough.[(triple8)] Erin is smart.[(triple9)] Gary is big.[(triple10)] Gary is cold.[(triple11 OR ((triple15) -> rule2))] Gary is furry.[(triple12)] Gary is green.[(triple13)] Gary is kind.[(triple14 OR ((triple11 triple12) -> rule1) OR ((((triple15) -> rule2) triple12) -> rule1))] Gary is smart.[(triple15)] @1: Bob is kind.[(((triple2 triple3) -> rule1))] Erin is cold.[(((triple9) -> rule2))] @2: Erin is kind.[(((((triple9) -> rule2) triple6) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is furry.
("Bob" "is" "furry" "+")
triple3
Bob is green.
("Bob" "is" "green" "+")
triple4
Erin is big.
("Erin" "is" "big" "+")
triple5
Erin is furry.
("Erin" "is" "furry" "+")
triple6
Erin is green.
("Erin" "is" "green" "+")
triple7
Erin is rough.
("Erin" "is" "rough" "+")
triple8
Erin is smart.
("Erin" "is" "smart" "+")
triple9
Gary is big.
("Gary" "is" "big" "+")
triple10
Gary is cold.
("Gary" "is" "cold" "+")
triple11
((triple15) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
triple12
Gary is green.
("Gary" "is" "green" "+")
triple13
Gary is kind.
("Gary" "is" "kind" "+")
triple14
((triple11 triple12) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
((((triple15) -> (rule2 % int2)) triple12) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
triple15
Bob is kind.
("Bob" "is" "kind" "+")
((triple2 triple3) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
((triple9) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
((((triple9) -> (rule2 % int2)) triple6) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2