Bob is big. Bob is blue. Bob is cold. Bob is furry. Bob is green. Bob is red. Erin is blue. Erin is cold. Gary is big. Gary is cold. Gary is green. Gary is rough. All cold, big people are red.
Bob is big.
("Bob" "is" "big" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is red.
("Bob" "is" "red" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is rough.
("Gary" "is" "rough" "+")
All cold, big people are red.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
Bob is furry.
True
1
proof
[(triple4)]
("Bob" "is" "furry" "+")
triple4
Bob is not red.
False
1
inv-proof
[(triple6 OR ((triple3 triple1) -> rule1))]
("Bob" "is" "red" "-")
triple6
((triple3 triple1) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Gary is red.
True
3
proof
[(((triple10 triple9) -> rule1))]
("Gary" "is" "red" "+")
((triple10 triple9) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is not red.
False
3
inv-proof
[(((triple10 triple9) -> rule1))]
("Gary" "is" "red" "-")
((triple10 triple9) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Erin is not red.
Unknown
inv-rconc
[@1: Erin is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "red" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
Erin is not green.
Unknown
inv-random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "-")
Gary is furry.
Unknown
random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "+")
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is cold.[(triple3)] Bob is furry.[(triple4)] Bob is green.[(triple5)] Bob is red.[(triple6 OR ((triple3 triple1) -> rule1))] Erin is blue.[(triple7)] Erin is cold.[(triple8)] Gary is big.[(triple9)] Gary is cold.[(triple10)] Gary is green.[(triple11)] Gary is rough.[(triple12)] @1: Gary is red.[(((triple10 triple9) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is cold.
("Bob" "is" "cold" "+")
triple3
Bob is furry.
("Bob" "is" "furry" "+")
triple4
Bob is green.
("Bob" "is" "green" "+")
triple5
Bob is red.
("Bob" "is" "red" "+")
triple6
((triple3 triple1) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
triple7
Erin is cold.
("Erin" "is" "cold" "+")
triple8
Gary is big.
("Gary" "is" "big" "+")
triple9
Gary is cold.
("Gary" "is" "cold" "+")
triple10
Gary is green.
("Gary" "is" "green" "+")
triple11
Gary is rough.
("Gary" "is" "rough" "+")
triple12
Gary is red.
("Gary" "is" "red" "+")
((triple10 triple9) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1