Bob is big. Bob is kind. Erin is red. Fiona is kind. Gary is red. Gary is smart. Gary is white. All rough things are white. If something is smart and white then it is blue. All red things are blue. If something is kind and blue then it is big. Kind, red things are white. If Bob is smart then Bob is blue.
Bob is big.
("Bob" "is" "big" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Erin is red.
("Erin" "is" "red" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
All rough things are white.
((("something" "is" "rough" "+")) -> ("something" "is" "white" "+"))
If something is smart and white then it is blue.
((("something" "is" "smart" "+") ("something" "is" "white" "+")) -> ("something" "is" "blue" "+"))
All red things are blue.
((("something" "is" "red" "+")) -> ("something" "is" "blue" "+"))
If something is kind and blue then it is big.
((("something" "is" "kind" "+") ("something" "is" "blue" "+")) -> ("something" "is" "big" "+"))
Kind, red things are white.
((("something" "is" "kind" "+") ("something" "is" "red" "+")) -> ("something" "is" "white" "+"))
If Bob is smart then Bob is blue.
((("Bob" "is" "smart" "+")) -> ("Bob" "is" "blue" "+"))
Bob is kind.
True
1
proof
[(triple2)]
("Bob" "is" "kind" "+")
triple2
Bob is not kind.
False
1
inv-proof
[(triple2)]
("Bob" "is" "kind" "-")
triple2
Erin is blue.
True
2
proof
[(((triple3) -> rule3))]
("Erin" "is" "blue" "+")
((triple3) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is not blue.
False
2
inv-proof
[(((triple3) -> rule3))]
("Erin" "is" "blue" "-")
((triple3) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is not big.
Unknown
inv-rconc
[@1: Erin is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Erin" "is" "big" "-")
Gary is big.
Unknown
rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "big" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Erin is smart.
Unknown
random
[@0: Erin is smart.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "smart" "+")
@0: Bob is big.[(triple1)] Bob is kind.[(triple2)] Erin is red.[(triple3)] Fiona is kind.[(triple4)] Gary is red.[(triple5)] Gary is smart.[(triple6)] Gary is white.[(triple7)] @1: Erin is blue.[(((triple3) -> rule3))] Gary is blue.[(((triple5) -> rule3) OR ((triple6 triple7) -> rule2))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Erin is red.
("Erin" "is" "red" "+")
triple3
Fiona is kind.
("Fiona" "is" "kind" "+")
triple4
Gary is red.
("Gary" "is" "red" "+")
triple5
Gary is smart.
("Gary" "is" "smart" "+")
triple6
Gary is white.
("Gary" "is" "white" "+")
triple7
Erin is blue.
("Erin" "is" "blue" "+")
((triple3) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((triple5) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
((triple6 triple7) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1