Anne is not green. Anne is red. Anne is white. Anne is young. Bob is big. Bob is nice. Bob is young. Fiona is big. Fiona is not green. Fiona is red. Fiona is not round. Gary is green. If something is green then it is not white. Round things are green. If Fiona is green then Fiona is big. If something is green and not white then it is nice. If Gary is big and Gary is not white then Gary is not young. If something is round and not white then it is big. If something is nice then it is not red. If something is nice and not young then it is red.
Anne is not green.
("Anne" "is" "green" "-")
Anne is red.
("Anne" "is" "red" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is big.
("Bob" "is" "big" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is young.
("Bob" "is" "young" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is not green.
("Fiona" "is" "green" "-")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is not round.
("Fiona" "is" "round" "-")
Gary is green.
("Gary" "is" "green" "+")
If something is green then it is not white.
((("something" "is" "green" "+")) -> ("something" "is" "white" "-"))
Round things are green.
((("something" "is" "round" "+")) -> ("something" "is" "green" "+"))
If Fiona is green then Fiona is big.
((("Fiona" "is" "green" "+")) -> ("Fiona" "is" "big" "+"))
If something is green and not white then it is nice.
((("something" "is" "green" "+") ("something" "is" "white" "~")) -> ("something" "is" "nice" "+"))
If Gary is big and Gary is not white then Gary is not young.
((("Gary" "is" "big" "+") ("Gary" "is" "white" "~")) -> ("Gary" "is" "young" "-"))
If something is round and not white then it is big.
((("something" "is" "round" "+") ("something" "is" "white" "~")) -> ("something" "is" "big" "+"))
If something is nice then it is not red.
((("something" "is" "nice" "+")) -> ("something" "is" "red" "-"))
If something is nice and not young then it is red.
((("something" "is" "nice" "+") ("something" "is" "young" "~")) -> ("something" "is" "red" "+"))
Bob is big.
True
1
proof
[(triple5)]
("Bob" "is" "big" "+")
triple5
Fiona is green.
False
1
inv-proof
[(triple9)]
("Fiona" "is" "green" "+")
triple9
Bob is not red.
True
2
proof
[(((triple6) -> rule7))]
("Bob" "is" "red" "-")
((triple6) -> (rule7 % int1))
Bob is not red.
("Bob" "is" "red" "-")
int1
Gary is white.
False
2
inv-proof
[(((triple12) -> rule1))]
("Gary" "is" "white" "+")
((triple12) -> (rule1 % int1))
Gary is not white.
("Gary" "is" "white" "-")
int1
Gary is nice.
True
4
proof
[(((triple12 ((triple12) -> rule1)) -> rule4))]
("Gary" "is" "nice" "+")
((triple12 ((triple12) -> (rule1 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is not white.
("Gary" "is" "white" "-")
int2
Gary is not nice.
False
4
inv-proof
[(((triple12 ((triple12) -> rule1)) -> rule4))]
("Gary" "is" "nice" "-")
((triple12 ((triple12) -> (rule1 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is not white.
("Gary" "is" "white" "-")
int2
Gary is not red.
True
5
proof
[(((((triple12 ((triple12) -> rule1)) -> rule4)) -> rule7))]
("Gary" "is" "red" "-")
((((triple12 ((triple12) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Gary is not red.
("Gary" "is" "red" "-")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is not white.
("Gary" "is" "white" "-")
int3
Gary is red.
False
5
inv-proof
[(((((triple12 ((triple12) -> rule1)) -> rule4)) -> rule7))]
("Gary" "is" "red" "+")
((((triple12 ((triple12) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Gary is not red.
("Gary" "is" "red" "-")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is not white.
("Gary" "is" "white" "-")
int3
Anne is not nice.
Unknown
inv-rconc
[@1: Anne is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Anne" "is" "nice" "-")
Bob is green.
Unknown
rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "green" "+")
Fiona is not nice.
Unknown
inv-rconc
[@1: Fiona is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fiona" "is" "nice" "-")
Gary is big.
Unknown
rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "big" "+")
Fiona is not young.
Unknown
inv-random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
Bob is not white.
Unknown
inv-random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
@0: Anne is not green.[(triple1)] Anne is red.[(triple2)] Anne is white.[(triple3)] Anne is young.[(triple4)] Bob is big.[(triple5)] Bob is nice.[(triple6)] Bob is young.[(triple7)] Fiona is big.[(triple8)] Fiona is not green.[(triple9)] Fiona is not round.[(triple11)] Fiona is red.[(triple10)] Gary is green.[(triple12)] @1: Bob is not red.[(((triple6) -> rule7))] Gary is not white.[(((triple12) -> rule1))] @2: Gary is nice.[(((triple12 ((triple12) -> rule1)) -> rule4))] @3: Gary is not red.[(((((triple12 ((triple12) -> rule1)) -> rule4)) -> rule7))]
Anne is not green.
("Anne" "is" "green" "-")
triple1
Anne is red.
("Anne" "is" "red" "+")
triple2
Anne is white.
("Anne" "is" "white" "+")
triple3
Anne is young.
("Anne" "is" "young" "+")
triple4
Bob is big.
("Bob" "is" "big" "+")
triple5
Bob is nice.
("Bob" "is" "nice" "+")
triple6
Bob is young.
("Bob" "is" "young" "+")
triple7
Fiona is big.
("Fiona" "is" "big" "+")
triple8
Fiona is not green.
("Fiona" "is" "green" "-")
triple9
Fiona is not round.
("Fiona" "is" "round" "-")
triple11
Fiona is red.
("Fiona" "is" "red" "+")
triple10
Gary is green.
("Gary" "is" "green" "+")
triple12
Bob is not red.
("Bob" "is" "red" "-")
((triple6) -> (rule7 % int1))
Bob is not red.
("Bob" "is" "red" "-")
int1
Gary is not white.
("Gary" "is" "white" "-")
((triple12) -> (rule1 % int1))
Gary is not white.
("Gary" "is" "white" "-")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple12 ((triple12) -> (rule1 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is not white.
("Gary" "is" "white" "-")
int2
Gary is not red.
("Gary" "is" "red" "-")
((((triple12 ((triple12) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Gary is not red.
("Gary" "is" "red" "-")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is not white.
("Gary" "is" "white" "-")
int3