Dave is big. Dave is green. Dave is kind. Dave is red. Dave is young. Fiona is kind. Fiona is round. Harry is green. Harry is red. Harry is young. If someone is quiet and kind then they are round. If someone is big then they are round. Green, red people are young. Red people are green. If someone is red then they are round. Round people are red. If someone is big then they are young. If someone is round and quiet then they are green.
Dave is big.
("Dave" "is" "big" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is young.
("Harry" "is" "young" "+")
If someone is quiet and kind then they are round.
((("someone" "is" "quiet" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is big then they are round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
Green, red people are young.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
Red people are green.
((("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is red then they are round.
((("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
Round people are red.
((("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is big then they are young.
((("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is round and quiet then they are green.
((("someone" "is" "round" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "green" "+"))
Fiona is round.
True
1
proof
[(triple7)]
("Fiona" "is" "round" "+")
triple7
Harry is not red.
False
1
inv-proof
[(triple9)]
("Harry" "is" "red" "-")
triple9
Harry is round.
True
2
proof
[(((triple9) -> rule5))]
("Harry" "is" "round" "+")
((triple9) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Dave is not round.
False
2
inv-proof
[(((triple1) -> rule2) OR ((triple4) -> rule5))]
("Dave" "is" "round" "-")
((triple1) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
((triple4) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Fiona is green.
True
3
proof
[(((((triple7) -> rule6)) -> rule4))]
("Fiona" "is" "green" "+")
((((triple7) -> (rule6 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is not green.
False
3
inv-proof
[(((((triple7) -> rule6)) -> rule4))]
("Fiona" "is" "green" "-")
((((triple7) -> (rule6 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is not big.
Unknown
inv-random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
Harry is not quiet.
Unknown
inv-random
[@0: Harry is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "quiet" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
Dave is not quiet.
Unknown
inv-random
[@0: Dave is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "quiet" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
@0: Dave is big.[(triple1)] Dave is green.[(triple2 OR ((triple4) -> rule4) OR ((((((triple1) -> rule2)) -> rule6)) -> rule4))] Dave is kind.[(triple3)] Dave is red.[(triple4 OR ((((triple1) -> rule2)) -> rule6))] Dave is young.[(triple5 OR ((triple1) -> rule7) OR ((triple2 triple4) -> rule3) OR ((((triple4) -> rule4) triple4) -> rule3) OR ((triple2 ((((triple1) -> rule2)) -> rule6)) -> rule3) OR ((((triple4) -> rule4) ((((triple1) -> rule2)) -> rule6)) -> rule3) OR ((((((((triple1) -> rule2)) -> rule6)) -> rule4) triple4) -> rule3) OR ((((((((triple1) -> rule2)) -> rule6)) -> rule4) ((((triple1) -> rule2)) -> rule6)) -> rule3))] Fiona is kind.[(triple6)] Fiona is round.[(triple7)] Harry is green.[(triple8 OR ((triple9) -> rule4))] Harry is red.[(triple9)] Harry is young.[(triple10 OR ((triple8 triple9) -> rule3) OR ((((triple9) -> rule4) triple9) -> rule3))] @1: Dave is round.[(((triple1) -> rule2) OR ((triple4) -> rule5))] Fiona is red.[(((triple7) -> rule6))] Harry is round.[(((triple9) -> rule5))] @2: Fiona is green.[(((((triple7) -> rule6)) -> rule4))] @3: Fiona is young.[(((((((triple7) -> rule6)) -> rule4) ((triple7) -> rule6)) -> rule3))]
Dave is big.
("Dave" "is" "big" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple2
((triple4) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
((((((triple1) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
triple3
Dave is red.
("Dave" "is" "red" "+")
triple4
((((triple1) -> (rule2 % int2))) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
triple5
((triple1) -> (rule7 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
((triple2 triple4) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
((((triple4) -> (rule4 % int2)) triple4) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
((triple2 ((((triple1) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
((((triple4) -> (rule4 % int4)) ((((triple1) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((((((((triple1) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) triple4) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((((((((triple1) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) ((((triple1) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
triple6
Fiona is round.
("Fiona" "is" "round" "+")
triple7
Harry is green.
("Harry" "is" "green" "+")
triple8
((triple9) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple10
((triple8 triple9) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
((((triple9) -> (rule4 % int2)) triple9) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
((triple1) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
((triple4) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
((triple7) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((triple9) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
((((triple7) -> (rule6 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
((((((triple7) -> (rule6 % int3))) -> (rule4 % int2)) ((triple7) -> (rule6 % int3))) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3