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