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