Bob is red. Bob is round. Bob is smart. Dave is cold. Dave is kind. Dave is red. Dave is round. Erin is cold. Erin is kind. Erin is red. Erin is rough. Erin is smart. Round, rough things are cold. All cold, red things are rough.
Bob is red.
("Bob" "is" "red" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is round.
("Dave" "is" "round" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Round, rough things are cold.
((("something" "is" "round" "+") ("something" "is" "rough" "+")) -> ("something" "is" "cold" "+"))
All cold, red things are rough.
((("something" "is" "cold" "+") ("something" "is" "red" "+")) -> ("something" "is" "rough" "+"))
Dave is cold.
True
1
proof
[(triple4)]
("Dave" "is" "cold" "+")
triple4
Erin is not smart.
False
1
inv-proof
[(triple12)]
("Erin" "is" "smart" "-")
triple12
Bob is not cold.
Unknown
inv-rconc
[@2: Bob is cold.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Bob" "is" "cold" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
@0: Bob is red.[(triple1)] Bob is round.[(triple2)] Bob is smart.[(triple3)] Dave is cold.[(triple4)] Dave is kind.[(triple5)] Dave is red.[(triple6)] Dave is round.[(triple7)] Erin is cold.[(triple8)] Erin is kind.[(triple9)] Erin is red.[(triple10)] Erin is rough.[(triple11 OR ((triple8 triple10) -> rule2))] Erin is smart.[(triple12)] @1: Dave is rough.[(((triple4 triple6) -> rule2))]
Bob is red.
("Bob" "is" "red" "+")
triple1
Bob is round.
("Bob" "is" "round" "+")
triple2
Bob is smart.
("Bob" "is" "smart" "+")
triple3
Dave is cold.
("Dave" "is" "cold" "+")
triple4
Dave is kind.
("Dave" "is" "kind" "+")
triple5
Dave is red.
("Dave" "is" "red" "+")
triple6
Dave is round.
("Dave" "is" "round" "+")
triple7
Erin is cold.
("Erin" "is" "cold" "+")
triple8
Erin is kind.
("Erin" "is" "kind" "+")
triple9
Erin is red.
("Erin" "is" "red" "+")
triple10
Erin is rough.
("Erin" "is" "rough" "+")
triple11
((triple8 triple10) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
triple12
Dave is rough.
("Dave" "is" "rough" "+")
((triple4 triple6) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1