Bob is cold. Bob is red. Dave is furry. Dave is red. Dave is smart. Dave is white. Erin is big. Erin is furry. Erin is red. Erin is smart. Erin is white. Erin is young. All furry, red things are big. Cold things are furry.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is red.
("Bob" "is" "red" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is white.
("Dave" "is" "white" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
All furry, red things are big.
((("something" "is" "furry" "+") ("something" "is" "red" "+")) -> ("something" "is" "big" "+"))
Cold things are furry.
((("something" "is" "cold" "+")) -> ("something" "is" "furry" "+"))
Bob is cold.
True
1
proof
[(triple1)]
("Bob" "is" "cold" "+")
triple1
Bob is not cold.
False
1
inv-proof
[(triple1)]
("Bob" "is" "cold" "-")
triple1
Bob is furry.
True
2
proof
[(((triple1) -> rule2))]
("Bob" "is" "furry" "+")
((triple1) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Dave is not big.
False
3
inv-proof
[(((triple3 triple4) -> rule1))]
("Dave" "is" "big" "-")
((triple3 triple4) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Bob is big.
True
4
proof
[(((((triple1) -> rule2) triple2) -> rule1))]
("Bob" "is" "big" "+")
((((triple1) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is not big.
False
4
inv-proof
[(((((triple1) -> rule2) triple2) -> rule1))]
("Bob" "is" "big" "-")
((((triple1) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is not white.
Unknown
inv-random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "-")
Dave is young.
Unknown
random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "+")
Dave is not cold.
Unknown
inv-random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "-")
Erin is cold.
Unknown
random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "+")
Bob is not smart.
Unknown
inv-random
[@0: Bob is smart.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "smart" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
@0: Bob is cold.[(triple1)] Bob is red.[(triple2)] Dave is furry.[(triple3)] Dave is red.[(triple4)] Dave is smart.[(triple5)] Dave is white.[(triple6)] Erin is big.[(triple7 OR ((triple8 triple9) -> rule1))] Erin is furry.[(triple8)] Erin is red.[(triple9)] Erin is smart.[(triple10)] Erin is white.[(triple11)] Erin is young.[(triple12)] @1: Bob is furry.[(((triple1) -> rule2))] Dave is big.[(((triple3 triple4) -> rule1))] @2: Bob is big.[(((((triple1) -> rule2) triple2) -> rule1))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Bob is red.
("Bob" "is" "red" "+")
triple2
Dave is furry.
("Dave" "is" "furry" "+")
triple3
Dave is red.
("Dave" "is" "red" "+")
triple4
Dave is smart.
("Dave" "is" "smart" "+")
triple5
Dave is white.
("Dave" "is" "white" "+")
triple6
Erin is big.
("Erin" "is" "big" "+")
triple7
((triple8 triple9) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
triple8
Erin is red.
("Erin" "is" "red" "+")
triple9
Erin is smart.
("Erin" "is" "smart" "+")
triple10
Erin is white.
("Erin" "is" "white" "+")
triple11
Erin is young.
("Erin" "is" "young" "+")
triple12
Bob is furry.
("Bob" "is" "furry" "+")
((triple1) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
((triple3 triple4) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
((((triple1) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2