Bob is red. Charlie is cold. Dave is young. Erin is white. Cold people are rough. If someone is blue and not quiet then they are young. If someone is blue then they are cold. If someone is blue and white then they are red. If someone is rough and young then they are not red. If someone is cold and not rough then they are red.
Bob is red.
("Bob" "is" "red" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is white.
("Erin" "is" "white" "+")
Cold people are rough.
((("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and not quiet then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "quiet" "~")) -> ("someone" "is" "young" "+"))
If someone is blue then they are cold.
((("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and white then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "red" "+"))
If someone is rough and young then they are not red.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "-"))
If someone is cold and not rough then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "~")) -> ("someone" "is" "red" "+"))
Charlie is cold.
True
1
proof
[(triple2)]
("Charlie" "is" "cold" "+")
triple2
Erin is not white.
False
1
inv-proof
[(triple4)]
("Erin" "is" "white" "-")
triple4
Bob is not young.
Unknown
inv-rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "young" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
@0: Bob is red.[(triple1)] Charlie is cold.[(triple2)] Dave is young.[(triple3)] Erin is white.[(triple4)] @1: Charlie is rough.[(((triple2) -> rule1))]
Bob is red.
("Bob" "is" "red" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple2
Dave is young.
("Dave" "is" "young" "+")
triple3
Erin is white.
("Erin" "is" "white" "+")
triple4
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple2) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1