Anne is kind. Erin is kind. Gary is nice. If someone is rough then they are big. All kind people are big. If Erin is red and Erin is nice then Erin is kind.
Anne is kind.
("Anne" "is" "kind" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
If someone is rough then they are big.
((("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
All kind people are big.
((("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If Erin is red and Erin is nice then Erin is kind.
((("Erin" "is" "red" "+") ("Erin" "is" "nice" "+")) -> ("Erin" "is" "kind" "+"))
Anne is kind.
True
1
proof
[(triple1)]
("Anne" "is" "kind" "+")
triple1
Anne is not kind.
False
1
inv-proof
[(triple1)]
("Anne" "is" "kind" "-")
triple1
Anne is big.
True
2
proof
[(((triple1) -> rule2))]
("Anne" "is" "big" "+")
((triple1) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Erin is not big.
False
2
inv-proof
[(((triple2) -> rule2))]
("Erin" "is" "big" "-")
((triple2) -> (rule2 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Gary is not big.
Unknown
inv-rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "big" "-")
Anne is round.
Unknown
random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "+")
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Erin is rough.
Unknown
random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "+")
@0: Anne is kind.[(triple1)] Erin is kind.[(triple2)] Gary is nice.[(triple3)] @1: Anne is big.[(((triple1) -> rule2))] Erin is big.[(((triple2) -> rule2))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Erin is kind.
("Erin" "is" "kind" "+")
triple2
Gary is nice.
("Gary" "is" "nice" "+")
triple3
Anne is big.
("Anne" "is" "big" "+")
((triple1) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
((triple2) -> (rule2 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1