Anne is not big. Anne is blue. Anne is green. Anne is kind. Anne is rough. Anne is white. Charlie is kind. Charlie is not quiet. Charlie is rough. Fiona is kind. Fiona is quiet. Fiona is white. If someone is quiet then they are green. All kind people are white. Green people are blue.
Anne is not big.
("Anne" "is" "big" "-")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is white.
("Anne" "is" "white" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
Charlie is rough.
("Charlie" "is" "rough" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If someone is quiet then they are green.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "green" "+"))
All kind people are white.
((("someone" "is" "kind" "+")) -> ("someone" "is" "white" "+"))
Green people are blue.
((("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
Fiona is white.
True
1
proof
[(triple12 OR ((triple10) -> rule2))]
("Fiona" "is" "white" "+")
triple12
((triple10) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is not kind.
False
1
inv-proof
[(triple10)]
("Fiona" "is" "kind" "-")
triple10
Charlie is white.
True
2
proof
[(((triple7) -> rule2))]
("Charlie" "is" "white" "+")
((triple7) -> (rule2 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Fiona is not green.
False
2
inv-proof
[(((triple11) -> rule1))]
("Fiona" "is" "green" "-")
((triple11) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is blue.
True
3
proof
[(((((triple11) -> rule1)) -> rule3))]
("Fiona" "is" "blue" "+")
((((triple11) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is not blue.
False
3
inv-proof
[(((((triple11) -> rule1)) -> rule3))]
("Fiona" "is" "blue" "-")
((((triple11) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Charlie is not blue.
Unknown
inv-rconc
[@2: Charlie is blue.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Charlie" "is" "blue" "-")
Charlie is green.
Unknown
rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "green" "+")
Fiona is not big.
Unknown
inv-random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
Anne is not quiet.
Unknown
inv-random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "-")
Fiona is rough.
Unknown
random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "+")
@0: Anne is blue.[(triple2 OR ((triple3) -> rule3))] Anne is green.[(triple3)] Anne is kind.[(triple4)] Anne is not big.[(triple1)] Anne is rough.[(triple5)] Anne is white.[(triple6 OR ((triple4) -> rule2))] Charlie is kind.[(triple7)] Charlie is not quiet.[(triple8)] Charlie is rough.[(triple9)] Fiona is kind.[(triple10)] Fiona is quiet.[(triple11)] Fiona is white.[(triple12 OR ((triple10) -> rule2))] @1: Charlie is white.[(((triple7) -> rule2))] Fiona is green.[(((triple11) -> rule1))] @2: Fiona is blue.[(((((triple11) -> rule1)) -> rule3))]
Anne is blue.
("Anne" "is" "blue" "+")
triple2
((triple3) -> (rule3 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
triple3
Anne is kind.
("Anne" "is" "kind" "+")
triple4
Anne is not big.
("Anne" "is" "big" "-")
triple1
Anne is rough.
("Anne" "is" "rough" "+")
triple5
Anne is white.
("Anne" "is" "white" "+")
triple6
((triple4) -> (rule2 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple7
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
triple8
Charlie is rough.
("Charlie" "is" "rough" "+")
triple9
Fiona is kind.
("Fiona" "is" "kind" "+")
triple10
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple11
Fiona is white.
("Fiona" "is" "white" "+")
triple12
((triple10) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
((triple7) -> (rule2 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
((triple11) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
((((triple11) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2