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