Dave is cold. Dave is not nice. Dave is rough. Dave is white. Dave is young. Erin is not rough. Erin is round. Erin is smart. Erin is not young. Gary is nice. Gary is rough. Gary is not round. Gary is smart. Gary is white. Gary is young. Round, white things are not nice. If Erin is rough and Erin is white then Erin is nice. If something is white and not nice then it is cold.
Dave is cold.
("Dave" "is" "cold" "+")
Dave is not nice.
("Dave" "is" "nice" "-")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is white.
("Dave" "is" "white" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is not rough.
("Erin" "is" "rough" "-")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is not young.
("Erin" "is" "young" "-")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is not round.
("Gary" "is" "round" "-")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
Round, white things are not nice.
((("something" "is" "round" "+") ("something" "is" "white" "+")) -> ("something" "is" "nice" "-"))
If Erin is rough and Erin is white then Erin is nice.
((("Erin" "is" "rough" "+") ("Erin" "is" "white" "+")) -> ("Erin" "is" "nice" "+"))
If something is white and not nice then it is cold.
((("something" "is" "white" "+") ("something" "is" "nice" "~")) -> ("something" "is" "cold" "+"))
Gary is nice.
True
1
proof
[(triple10)]
("Gary" "is" "nice" "+")
triple10
Erin is not smart.
False
1
inv-proof
[(triple8)]
("Erin" "is" "smart" "-")
triple8
Erin is not cold.
Unknown
inv-rconc
[@1: Erin is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Erin" "is" "cold" "-")
Dave is smart.
Unknown
random
[@0: Dave is smart.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "smart" "+")
@0: Dave is cold.[(triple1 OR ((triple4 triple2) -> rule3))] Dave is not nice.[(triple2)] Dave is rough.[(triple3)] Dave is white.[(triple4)] Dave is young.[(triple5)] Erin is not rough.[(triple6)] Erin is not young.[(triple9)] Erin is round.[(triple7)] Erin is smart.[(triple8)] Gary is nice.[(triple10)] Gary is not round.[(triple12)] Gary is rough.[(triple11)] Gary is smart.[(triple13)] Gary is white.[(triple14)] Gary is young.[(triple15)]
Dave is cold.
("Dave" "is" "cold" "+")
triple1
((triple4 triple2) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is not nice.
("Dave" "is" "nice" "-")
triple2
Dave is rough.
("Dave" "is" "rough" "+")
triple3
Dave is white.
("Dave" "is" "white" "+")
triple4
Dave is young.
("Dave" "is" "young" "+")
triple5
Erin is not rough.
("Erin" "is" "rough" "-")
triple6
Erin is not young.
("Erin" "is" "young" "-")
triple9
Erin is round.
("Erin" "is" "round" "+")
triple7
Erin is smart.
("Erin" "is" "smart" "+")
triple8
Gary is nice.
("Gary" "is" "nice" "+")
triple10
Gary is not round.
("Gary" "is" "round" "-")
triple12
Gary is rough.
("Gary" "is" "rough" "+")
triple11
Gary is smart.
("Gary" "is" "smart" "+")
triple13
Gary is white.
("Gary" "is" "white" "+")
triple14
Gary is young.
("Gary" "is" "young" "+")
triple15