Anne is green. Anne is rough. Anne is white. Anne is young. Bob is big. Bob is white. Fiona is big. Fiona is green. Fiona is quiet. Fiona is rough. Gary is big. Gary is kind. Gary is quiet. Gary is white. Gary is young. If Bob is young and Bob is rough then Bob is quiet. If something is white then it is rough. All white things are quiet. If something is white then it is big. White things are big. If something is white then it is big. Young, green things are white. Quiet, green things are kind.
Anne is green.
("Anne" "is" "green" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is big.
("Bob" "is" "big" "+")
Bob is white.
("Bob" "is" "white" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
If Bob is young and Bob is rough then Bob is quiet.
((("Bob" "is" "young" "+") ("Bob" "is" "rough" "+")) -> ("Bob" "is" "quiet" "+"))
If something is white then it is rough.
((("something" "is" "white" "+")) -> ("something" "is" "rough" "+"))
All white things are quiet.
((("something" "is" "white" "+")) -> ("something" "is" "quiet" "+"))
If something is white then it is big.
((("something" "is" "white" "+")) -> ("something" "is" "big" "+"))
White things are big.
((("something" "is" "white" "+")) -> ("something" "is" "big" "+"))
If something is white then it is big.
((("something" "is" "white" "+")) -> ("something" "is" "big" "+"))
Young, green things are white.
((("something" "is" "young" "+") ("something" "is" "green" "+")) -> ("something" "is" "white" "+"))
Quiet, green things are kind.
((("something" "is" "quiet" "+") ("something" "is" "green" "+")) -> ("something" "is" "kind" "+"))
Anne is young.
True
1
proof
[(triple4)]
("Anne" "is" "young" "+")
triple4
Anne is not rough.
False
1
inv-proof
[(triple2 OR ((triple3) -> rule2) OR ((((triple4 triple1) -> rule7)) -> rule2))]
("Anne" "is" "rough" "-")
triple2
((triple3) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
((((triple4 triple1) -> (rule7 % int2))) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Gary is rough.
True
2
proof
[(((triple14) -> rule2))]
("Gary" "is" "rough" "+")
((triple14) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Fiona is not kind.
False
3
inv-proof
[(((triple9 triple8) -> rule8))]
("Fiona" "is" "kind" "-")
((triple9 triple8) -> (rule8 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Anne is kind.
True
4
proof
[(((((triple3) -> rule3) triple1) -> rule8) OR ((((((triple4 triple1) -> rule7)) -> rule3) triple1) -> rule8))]
("Anne" "is" "kind" "+")
((((triple3) -> (rule3 % int2)) triple1) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
((((((triple4 triple1) -> (rule7 % int3))) -> (rule3 % int2)) triple1) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is not kind.
False
4
inv-proof
[(((((triple3) -> rule3) triple1) -> rule8) OR ((((((triple4 triple1) -> rule7)) -> rule3) triple1) -> rule8))]
("Anne" "is" "kind" "-")
((((triple3) -> (rule3 % int2)) triple1) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
((((((triple4 triple1) -> (rule7 % int3))) -> (rule3 % int2)) triple1) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Bob is not kind.
Unknown
inv-rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Bob" "is" "kind" "-")
Fiona is white.
Unknown
rconc
[@1: Fiona is white.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Fiona" "is" "white" "+")
Fiona is not young.
Unknown
inv-random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
Bob is not young.
Unknown
inv-random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
@0: Anne is green.[(triple1)] Anne is rough.[(triple2 OR ((triple3) -> rule2) OR ((((triple4 triple1) -> rule7)) -> rule2))] Anne is white.[(triple3 OR ((triple4 triple1) -> rule7))] Anne is young.[(triple4)] Bob is big.[(triple5 OR ((triple6) -> rule4) OR ((triple6) -> rule5) OR ((triple6) -> rule6))] Bob is white.[(triple6)] Fiona is big.[(triple7)] Fiona is green.[(triple8)] Fiona is quiet.[(triple9)] Fiona is rough.[(triple10)] Gary is big.[(triple11 OR ((triple14) -> rule4) OR ((triple14) -> rule5) OR ((triple14) -> rule6))] Gary is kind.[(triple12)] Gary is quiet.[(triple13 OR ((triple14) -> rule3))] Gary is white.[(triple14)] Gary is young.[(triple15)] @1: Anne is big.[(((triple3) -> rule4) OR ((triple3) -> rule5) OR ((triple3) -> rule6) OR ((((triple4 triple1) -> rule7)) -> rule4) OR ((((triple4 triple1) -> rule7)) -> rule5) OR ((((triple4 triple1) -> rule7)) -> rule6))] Anne is quiet.[(((triple3) -> rule3) OR ((((triple4 triple1) -> rule7)) -> rule3))] Bob is quiet.[(((triple6) -> rule3))] Bob is rough.[(((triple6) -> rule2))] Fiona is kind.[(((triple9 triple8) -> rule8))] Gary is rough.[(((triple14) -> rule2))] @2: Anne is kind.[(((((triple3) -> rule3) triple1) -> rule8) OR ((((((triple4 triple1) -> rule7)) -> rule3) triple1) -> rule8))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is rough.
("Anne" "is" "rough" "+")
triple2
((triple3) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
((((triple4 triple1) -> (rule7 % int2))) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
triple3
((triple4 triple1) -> (rule7 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
triple4
Bob is big.
("Bob" "is" "big" "+")
triple5
((triple6) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
((triple6) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
((triple6) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
triple6
Fiona is big.
("Fiona" "is" "big" "+")
triple7
Fiona is green.
("Fiona" "is" "green" "+")
triple8
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple9
Fiona is rough.
("Fiona" "is" "rough" "+")
triple10
Gary is big.
("Gary" "is" "big" "+")
triple11
((triple14) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((triple14) -> (rule5 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((triple14) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
triple12
Gary is quiet.
("Gary" "is" "quiet" "+")
triple13
((triple14) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
triple14
Gary is young.
("Gary" "is" "young" "+")
triple15
Anne is big.
("Anne" "is" "big" "+")
((triple3) -> (rule4 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
((triple3) -> (rule5 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
((triple3) -> (rule6 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
((((triple4 triple1) -> (rule7 % int2))) -> (rule4 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
((((triple4 triple1) -> (rule7 % int2))) -> (rule5 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
((((triple4 triple1) -> (rule7 % int2))) -> (rule6 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
((triple3) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
((((triple4 triple1) -> (rule7 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
((triple6) -> (rule3 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
((triple6) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple9 triple8) -> (rule8 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((triple14) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
((((triple3) -> (rule3 % int2)) triple1) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
((((((triple4 triple1) -> (rule7 % int3))) -> (rule3 % int2)) triple1) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3