Anne is big. Anne is not kind. Anne is nice. Anne is not white. Fiona is kind. Fiona is smart. Harry is nice. If someone is rough then they are blue. If someone is kind then they are blue. If Harry is kind then Harry is nice. All blue people are white. If someone is nice and blue then they are not white. All white people are rough. If Anne is not big then Anne is not blue. If Harry is nice and Harry is not blue then Harry is smart.
Anne is big.
("Anne" "is" "big" "+")
Anne is not kind.
("Anne" "is" "kind" "-")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is not white.
("Anne" "is" "white" "-")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Harry is nice.
("Harry" "is" "nice" "+")
If someone is rough then they are blue.
((("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind then they are blue.
((("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
If Harry is kind then Harry is nice.
((("Harry" "is" "kind" "+")) -> ("Harry" "is" "nice" "+"))
All blue people are white.
((("someone" "is" "blue" "+")) -> ("someone" "is" "white" "+"))
If someone is nice and blue then they are not white.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "white" "-"))
All white people are rough.
((("someone" "is" "white" "+")) -> ("someone" "is" "rough" "+"))
If Anne is not big then Anne is not blue.
((("Anne" "is" "big" "~")) -> ("Anne" "is" "blue" "-"))
If Harry is nice and Harry is not blue then Harry is smart.
((("Harry" "is" "nice" "+") ("Harry" "is" "blue" "~")) -> ("Harry" "is" "smart" "+"))
Fiona is kind.
True
1
proof
[(triple5)]
("Fiona" "is" "kind" "+")
triple5
Harry is not nice.
False
1
inv-proof
[(triple7)]
("Harry" "is" "nice" "-")
triple7
Fiona is blue.
True
2
proof
[(((triple5) -> rule2))]
("Fiona" "is" "blue" "+")
((triple5) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is not blue.
False
2
inv-proof
[(((triple5) -> rule2))]
("Fiona" "is" "blue" "-")
((triple5) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is white.
True
3
proof
[(((((triple5) -> rule2)) -> rule4))]
("Fiona" "is" "white" "+")
((((triple5) -> (rule2 % int2))) -> (rule4 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is not white.
False
3
inv-proof
[(((((triple5) -> rule2)) -> rule4))]
("Fiona" "is" "white" "-")
((((triple5) -> (rule2 % int2))) -> (rule4 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Harry is not rough.
Unknown
inv-rconc
[@3: Harry is rough.[CWA. Example of deepest failure = (rule6 <- rule4 <- rule1 <- FAIL)]]
("Harry" "is" "rough" "-")
Harry is blue.
Unknown
rconc
[@4: Harry is blue.[CWA. Example of deepest failure = (rule1 <- rule6 <- rule4 <- rule2 <- FAIL)]]
("Harry" "is" "blue" "+")
Harry is not white.
Unknown
inv-rconc
[@3: Harry is white.[CWA. Example of deepest failure = (rule4 <- rule1 <- rule6 <- FAIL)]]
("Harry" "is" "white" "-")
Anne is smart.
Unknown
random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "+")
Harry is not big.
Unknown
inv-random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
@0: Anne is big.[(triple1)] Anne is nice.[(triple3)] Anne is not kind.[(triple2)] Anne is not white.[(triple4)] Fiona is kind.[(triple5)] Fiona is smart.[(triple6)] Harry is nice.[(triple7)] @1: Fiona is blue.[(((triple5) -> rule2))] @2: Fiona is white.[(((((triple5) -> rule2)) -> rule4))] @3: Fiona is rough.[(((((((triple5) -> rule2)) -> rule4)) -> rule6))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple3
Anne is not kind.
("Anne" "is" "kind" "-")
triple2
Anne is not white.
("Anne" "is" "white" "-")
triple4
Fiona is kind.
("Fiona" "is" "kind" "+")
triple5
Fiona is smart.
("Fiona" "is" "smart" "+")
triple6
Harry is nice.
("Harry" "is" "nice" "+")
triple7
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple5) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
((((triple5) -> (rule2 % int2))) -> (rule4 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
((((((triple5) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3