Anne is blue. Anne is green. Anne is nice. Anne is quiet. Anne is red. Anne is round. Anne is smart. Dave is green. Dave is red. Fiona is blue. Fiona is green. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is round. Fiona is smart. If someone is smart then they are blue. If someone is round then they are smart. If Dave is green then Dave is round.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is red.
("Dave" "is" "red" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
If someone is smart then they are blue.
((("someone" "is" "smart" "+")) -> ("someone" "is" "blue" "+"))
If someone is round then they are smart.
((("someone" "is" "round" "+")) -> ("someone" "is" "smart" "+"))
If Dave is green then Dave is round.
((("Dave" "is" "green" "+")) -> ("Dave" "is" "round" "+"))
Anne is red.
True
1
proof
[(triple5)]
("Anne" "is" "red" "+")
triple5
Fiona is not nice.
False
1
inv-proof
[(triple12)]
("Fiona" "is" "nice" "-")
triple12
Dave is round.
True
2
proof
[(((triple8) -> rule3))]
("Dave" "is" "round" "+")
((triple8) -> (rule3 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is not round.
False
2
inv-proof
[(((triple8) -> rule3))]
("Dave" "is" "round" "-")
((triple8) -> (rule3 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is smart.
True
3
proof
[(((((triple8) -> rule3)) -> rule2))]
("Dave" "is" "smart" "+")
((((triple8) -> (rule3 % int2))) -> (rule2 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is not smart.
False
3
inv-proof
[(((((triple8) -> rule3)) -> rule2))]
("Dave" "is" "smart" "-")
((((triple8) -> (rule3 % int2))) -> (rule2 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is not quiet.
Unknown
inv-random
[@0: Dave is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "quiet" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
@0: Anne is blue.[(triple1 OR ((triple7) -> rule1) OR ((((triple6) -> rule2)) -> rule1))] Anne is green.[(triple2)] Anne is nice.[(triple3)] Anne is quiet.[(triple4)] Anne is red.[(triple5)] Anne is round.[(triple6)] Anne is smart.[(triple7 OR ((triple6) -> rule2))] Dave is green.[(triple8)] Dave is red.[(triple9)] Fiona is blue.[(triple10 OR ((triple16) -> rule1) OR ((((triple15) -> rule2)) -> rule1))] Fiona is green.[(triple11)] Fiona is nice.[(triple12)] Fiona is quiet.[(triple13)] Fiona is red.[(triple14)] Fiona is round.[(triple15)] Fiona is smart.[(triple16 OR ((triple15) -> rule2))] @1: Dave is round.[(((triple8) -> rule3))] @2: Dave is smart.[(((((triple8) -> rule3)) -> rule2))] @3: Dave is blue.[(((((((triple8) -> rule3)) -> rule2)) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
((triple7) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
((((triple6) -> (rule2 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is nice.
("Anne" "is" "nice" "+")
triple3
Anne is quiet.
("Anne" "is" "quiet" "+")
triple4
Anne is red.
("Anne" "is" "red" "+")
triple5
Anne is round.
("Anne" "is" "round" "+")
triple6
Anne is smart.
("Anne" "is" "smart" "+")
triple7
((triple6) -> (rule2 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
triple8
Dave is red.
("Dave" "is" "red" "+")
triple9
Fiona is blue.
("Fiona" "is" "blue" "+")
triple10
((triple16) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
((((triple15) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
triple11
Fiona is nice.
("Fiona" "is" "nice" "+")
triple12
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple13
Fiona is red.
("Fiona" "is" "red" "+")
triple14
Fiona is round.
("Fiona" "is" "round" "+")
triple15
Fiona is smart.
("Fiona" "is" "smart" "+")
triple16
((triple15) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
((triple8) -> (rule3 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
((((triple8) -> (rule3 % int2))) -> (rule2 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
((((((triple8) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3