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