Charlie is smart. Erin is big. Gary is rough. Rough, young things are red. If something is rough then it is red. Red, smart things are white.
Charlie is smart.
("Charlie" "is" "smart" "+")
Erin is big.
("Erin" "is" "big" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Rough, young things are red.
((("something" "is" "rough" "+") ("something" "is" "young" "+")) -> ("something" "is" "red" "+"))
If something is rough then it is red.
((("something" "is" "rough" "+")) -> ("something" "is" "red" "+"))
Red, smart things are white.
((("something" "is" "red" "+") ("something" "is" "smart" "+")) -> ("something" "is" "white" "+"))
Erin is big.
True
1
proof
[(triple2)]
("Erin" "is" "big" "+")
triple2
Charlie is not smart.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "smart" "-")
triple1
Gary is red.
True
2
proof
[(((triple3) -> rule2))]
("Gary" "is" "red" "+")
((triple3) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is not red.
False
2
inv-proof
[(((triple3) -> rule2))]
("Gary" "is" "red" "-")
((triple3) -> (rule2 % 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" "-")
Erin is white.
Unknown
rconc
[@1: Erin is white.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Erin" "is" "white" "+")
Charlie is not kind.
Unknown
inv-random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "-")
Erin is smart.
Unknown
random
[@0: Erin is smart.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "smart" "+")
@0: Charlie is smart.[(triple1)] Erin is big.[(triple2)] Gary is rough.[(triple3)] @1: Gary is red.[(((triple3) -> rule2))]
Charlie is smart.
("Charlie" "is" "smart" "+")
triple1
Erin is big.
("Erin" "is" "big" "+")
triple2
Gary is rough.
("Gary" "is" "rough" "+")
triple3
Gary is red.
("Gary" "is" "red" "+")
((triple3) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1