Bob is big. Bob is red. Bob is white. Dave is cold. Dave is red. Dave is smart. Dave is white. Erin is big. Erin is not cold. Erin is not smart. Erin is white. Erin is young. Gary is cold. Gary is nice. Gary is red. Gary is young. All young, cold people are white. All red, white people are smart.
Bob is big.
("Bob" "is" "big" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is white.
("Bob" "is" "white" "+")
Dave is cold.
("Dave" "is" "cold" "+")
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 not cold.
("Erin" "is" "cold" "-")
Erin is not smart.
("Erin" "is" "smart" "-")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is young.
("Gary" "is" "young" "+")
All young, cold people are white.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "white" "+"))
All red, white people are smart.
((("someone" "is" "red" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "smart" "+"))
Gary is red.
True
1
proof
[(triple15)]
("Gary" "is" "red" "+")
triple15
Erin is cold.
False
1
inv-proof
[(triple9)]
("Erin" "is" "cold" "+")
triple9
Gary is white.
True
3
proof
[(((triple16 triple13) -> rule1))]
("Gary" "is" "white" "+")
((triple16 triple13) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is not white.
False
3
inv-proof
[(((triple16 triple13) -> rule1))]
("Gary" "is" "white" "-")
((triple16 triple13) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is smart.
True
5
proof
[(((triple15 ((triple16 triple13) -> rule1)) -> rule2))]
("Gary" "is" "smart" "+")
((triple15 ((triple16 triple13) -> (rule1 % int2))) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is not smart.
False
5
inv-proof
[(((triple15 ((triple16 triple13) -> rule1)) -> rule2))]
("Gary" "is" "smart" "-")
((triple15 ((triple16 triple13) -> (rule1 % int2))) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Dave is young.
Unknown
random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "+")
Erin is not nice.
Unknown
inv-random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "-")
Erin is red.
Unknown
random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "+")
Dave is not big.
Unknown
inv-random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
@0: Bob is big.[(triple1)] Bob is red.[(triple2)] Bob is white.[(triple3)] Dave is cold.[(triple4)] Dave is red.[(triple5)] Dave is smart.[(triple6 OR ((triple5 triple7) -> rule2))] Dave is white.[(triple7)] Erin is big.[(triple8)] Erin is not cold.[(triple9)] Erin is not smart.[(triple10)] Erin is white.[(triple11)] Erin is young.[(triple12)] Gary is cold.[(triple13)] Gary is nice.[(triple14)] Gary is red.[(triple15)] Gary is young.[(triple16)] @1: Bob is smart.[(((triple2 triple3) -> rule2))] Gary is white.[(((triple16 triple13) -> rule1))] @2: Gary is smart.[(((triple15 ((triple16 triple13) -> rule1)) -> rule2))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is red.
("Bob" "is" "red" "+")
triple2
Bob is white.
("Bob" "is" "white" "+")
triple3
Dave is cold.
("Dave" "is" "cold" "+")
triple4
Dave is red.
("Dave" "is" "red" "+")
triple5
Dave is smart.
("Dave" "is" "smart" "+")
triple6
((triple5 triple7) -> (rule2 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
triple7
Erin is big.
("Erin" "is" "big" "+")
triple8
Erin is not cold.
("Erin" "is" "cold" "-")
triple9
Erin is not smart.
("Erin" "is" "smart" "-")
triple10
Erin is white.
("Erin" "is" "white" "+")
triple11
Erin is young.
("Erin" "is" "young" "+")
triple12
Gary is cold.
("Gary" "is" "cold" "+")
triple13
Gary is nice.
("Gary" "is" "nice" "+")
triple14
Gary is red.
("Gary" "is" "red" "+")
triple15
Gary is young.
("Gary" "is" "young" "+")
triple16
Bob is smart.
("Bob" "is" "smart" "+")
((triple2 triple3) -> (rule2 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
((triple16 triple13) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
((triple15 ((triple16 triple13) -> (rule1 % int2))) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2