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