Charlie is cold. Charlie is green. Erin is big. Erin is blue. Erin is green. Erin is nice. Erin is young. All young people are white. If someone is green then they are cold.
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is young.
("Erin" "is" "young" "+")
All young people are white.
((("someone" "is" "young" "+")) -> ("someone" "is" "white" "+"))
If someone is green then they are cold.
((("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
Charlie is cold.
True
1
proof
[(triple1 OR ((triple2) -> rule2))]
("Charlie" "is" "cold" "+")
triple1
((triple2) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Erin is not young.
False
1
inv-proof
[(triple7)]
("Erin" "is" "young" "-")
triple7
Charlie is not white.
Unknown
inv-rconc
[@1: Charlie is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "white" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
@0: Charlie is cold.[(triple1 OR ((triple2) -> rule2))] Charlie is green.[(triple2)] Erin is big.[(triple3)] Erin is blue.[(triple4)] Erin is green.[(triple5)] Erin is nice.[(triple6)] Erin is young.[(triple7)] @1: Erin is cold.[(((triple5) -> rule2))] Erin is white.[(((triple7) -> rule1))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple1
((triple2) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
triple2
Erin is big.
("Erin" "is" "big" "+")
triple3
Erin is blue.
("Erin" "is" "blue" "+")
triple4
Erin is green.
("Erin" "is" "green" "+")
triple5
Erin is nice.
("Erin" "is" "nice" "+")
triple6
Erin is young.
("Erin" "is" "young" "+")
triple7
Erin is cold.
("Erin" "is" "cold" "+")
((triple5) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
((triple7) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1