Anne is quiet. Anne is white. Fiona is blue. Fiona is green. Fiona is kind. Fiona is nice. Gary is big. Gary is green. Gary is quiet. Gary is white. If something is white then it is nice. If something is big and kind then it is green. If Fiona is nice then Fiona is kind. Big things are kind. If something is blue and big then it is kind. Blue, quiet things are big. Green things are quiet. If Fiona is green then Fiona is nice.
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is white.
("Anne" "is" "white" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is white.
("Gary" "is" "white" "+")
If something is white then it is nice.
((("something" "is" "white" "+")) -> ("something" "is" "nice" "+"))
If something is big and kind then it is green.
((("something" "is" "big" "+") ("something" "is" "kind" "+")) -> ("something" "is" "green" "+"))
If Fiona is nice then Fiona is kind.
((("Fiona" "is" "nice" "+")) -> ("Fiona" "is" "kind" "+"))
Big things are kind.
((("something" "is" "big" "+")) -> ("something" "is" "kind" "+"))
If something is blue and big then it is kind.
((("something" "is" "blue" "+") ("something" "is" "big" "+")) -> ("something" "is" "kind" "+"))
Blue, quiet things are big.
((("something" "is" "blue" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "big" "+"))
Green things are quiet.
((("something" "is" "green" "+")) -> ("something" "is" "quiet" "+"))
If Fiona is green then Fiona is nice.
((("Fiona" "is" "green" "+")) -> ("Fiona" "is" "nice" "+"))
Gary is big.
True
1
proof
[(triple7)]
("Gary" "is" "big" "+")
triple7
Fiona is not nice.
False
1
inv-proof
[(triple6 OR ((triple4) -> rule8))]
("Fiona" "is" "nice" "-")
triple6
((triple4) -> (rule8 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Anne is not big.
Unknown
inv-rconc
[@1: Anne is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Anne" "is" "big" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
@0: Anne is quiet.[(triple1)] Anne is white.[(triple2)] Fiona is blue.[(triple3)] Fiona is green.[(triple4)] Fiona is kind.[(triple5 OR ((triple6) -> rule3) OR ((((triple4) -> rule8)) -> rule3) OR ((((triple3 ((triple4) -> rule7)) -> rule6)) -> rule4) OR ((triple3 ((triple3 ((triple4) -> rule7)) -> rule6)) -> rule5))] Fiona is nice.[(triple6 OR ((triple4) -> rule8))] Gary is big.[(triple7)] Gary is green.[(triple8 OR ((triple7 ((triple7) -> rule4)) -> rule2))] Gary is quiet.[(triple9 OR ((triple8) -> rule7) OR ((((triple7 ((triple7) -> rule4)) -> rule2)) -> rule7))] Gary is white.[(triple10)] @1: Anne is nice.[(((triple2) -> rule1))] Fiona is quiet.[(((triple4) -> rule7))] Gary is kind.[(((triple7) -> rule4))] Gary is nice.[(((triple10) -> rule1))] @2: Fiona is big.[(((triple3 ((triple4) -> rule7)) -> rule6))]
Anne is quiet.
("Anne" "is" "quiet" "+")
triple1
Anne is white.
("Anne" "is" "white" "+")
triple2
Fiona is blue.
("Fiona" "is" "blue" "+")
triple3
Fiona is green.
("Fiona" "is" "green" "+")
triple4
Fiona is kind.
("Fiona" "is" "kind" "+")
triple5
((triple6) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((((triple4) -> (rule8 % int2))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
((((triple3 ((triple4) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
((triple3 ((triple3 ((triple4) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
triple6
((triple4) -> (rule8 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
triple7
Gary is green.
("Gary" "is" "green" "+")
triple8
((triple7 ((triple7) -> (rule4 % int2))) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
triple9
((triple8) -> (rule7 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
((((triple7 ((triple7) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
triple10
Anne is nice.
("Anne" "is" "nice" "+")
((triple2) -> (rule1 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple4) -> (rule7 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
((triple7) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple10) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
((triple3 ((triple4) -> (rule7 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2