Bob is cold. Dave is kind. Erin is cold. Gary is cold. If something is red and cold then it is big. All round things are cold. If Bob is kind and Bob is not rough then Bob is furry. If something is furry and rough then it is kind. If something is red and not big then it is kind. Rough things are kind.
Bob is cold.
("Bob" "is" "cold" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Gary is cold.
("Gary" "is" "cold" "+")
If something is red and cold then it is big.
((("something" "is" "red" "+") ("something" "is" "cold" "+")) -> ("something" "is" "big" "+"))
All round things are cold.
((("something" "is" "round" "+")) -> ("something" "is" "cold" "+"))
If Bob is kind and Bob is not rough then Bob is furry.
((("Bob" "is" "kind" "+") ("Bob" "is" "rough" "~")) -> ("Bob" "is" "furry" "+"))
If something is furry and rough then it is kind.
((("something" "is" "furry" "+") ("something" "is" "rough" "+")) -> ("something" "is" "kind" "+"))
If something is red and not big then it is kind.
((("something" "is" "red" "+") ("something" "is" "big" "~")) -> ("something" "is" "kind" "+"))
Rough things are kind.
((("something" "is" "rough" "+")) -> ("something" "is" "kind" "+"))
Erin is cold.
True
1
proof
[(triple3)]
("Erin" "is" "cold" "+")
triple3
Gary is not cold.
False
1
inv-proof
[(triple4)]
("Gary" "is" "cold" "-")
triple4
Bob is not big.
Unknown
inv-rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "big" "-")
Erin is round.
Unknown
random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "+")
@0: Bob is cold.[(triple1)] Dave is kind.[(triple2)] Erin is cold.[(triple3)] Gary is cold.[(triple4)]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Dave is kind.
("Dave" "is" "kind" "+")
triple2
Erin is cold.
("Erin" "is" "cold" "+")
triple3
Gary is cold.
("Gary" "is" "cold" "+")
triple4