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