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