Dave is red. Dave is young. Erin is furry. Erin is nice. Erin is red. Fiona is blue. Fiona is furry. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is round. Fiona is young. Harry is blue. Harry is furry. Harry is quiet. Harry is red. If Erin is nice and Erin is quiet then Erin is round. If Erin is red then Erin is quiet.
Dave is red.
("Dave" "is" "red" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
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 young.
("Fiona" "is" "young" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is red.
("Harry" "is" "red" "+")
If Erin is nice and Erin is quiet then Erin is round.
((("Erin" "is" "nice" "+") ("Erin" "is" "quiet" "+")) -> ("Erin" "is" "round" "+"))
If Erin is red then Erin is quiet.
((("Erin" "is" "red" "+")) -> ("Erin" "is" "quiet" "+"))
Fiona is furry.
True
1
proof
[(triple7)]
("Fiona" "is" "furry" "+")
triple7
Fiona is not young.
False
1
inv-proof
[(triple12)]
("Fiona" "is" "young" "-")
triple12
Erin is quiet.
True
2
proof
[(((triple5) -> rule2))]
("Erin" "is" "quiet" "+")
((triple5) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is not quiet.
False
2
inv-proof
[(((triple5) -> rule2))]
("Erin" "is" "quiet" "-")
((triple5) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is round.
True
4
proof
[(((triple4 ((triple5) -> rule2)) -> rule1))]
("Erin" "is" "round" "+")
((triple4 ((triple5) -> (rule2 % int2))) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is not round.
False
4
inv-proof
[(((triple4 ((triple5) -> rule2)) -> rule1))]
("Erin" "is" "round" "-")
((triple4 ((triple5) -> (rule2 % int2))) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Dave is not blue.
Unknown
inv-random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
Dave is not round.
Unknown
inv-random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
Erin is not young.
Unknown
inv-random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
@0: Dave is red.[(triple1)] Dave is young.[(triple2)] Erin is furry.[(triple3)] Erin is nice.[(triple4)] Erin is red.[(triple5)] Fiona is blue.[(triple6)] Fiona is furry.[(triple7)] Fiona is nice.[(triple8)] Fiona is quiet.[(triple9)] Fiona is red.[(triple10)] Fiona is round.[(triple11)] Fiona is young.[(triple12)] Harry is blue.[(triple13)] Harry is furry.[(triple14)] Harry is quiet.[(triple15)] Harry is red.[(triple16)] @1: Erin is quiet.[(((triple5) -> rule2))] @2: Erin is round.[(((triple4 ((triple5) -> rule2)) -> rule1))]
Dave is red.
("Dave" "is" "red" "+")
triple1
Dave is young.
("Dave" "is" "young" "+")
triple2
Erin is furry.
("Erin" "is" "furry" "+")
triple3
Erin is nice.
("Erin" "is" "nice" "+")
triple4
Erin is red.
("Erin" "is" "red" "+")
triple5
Fiona is blue.
("Fiona" "is" "blue" "+")
triple6
Fiona is furry.
("Fiona" "is" "furry" "+")
triple7
Fiona is nice.
("Fiona" "is" "nice" "+")
triple8
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple9
Fiona is red.
("Fiona" "is" "red" "+")
triple10
Fiona is round.
("Fiona" "is" "round" "+")
triple11
Fiona is young.
("Fiona" "is" "young" "+")
triple12
Harry is blue.
("Harry" "is" "blue" "+")
triple13
Harry is furry.
("Harry" "is" "furry" "+")
triple14
Harry is quiet.
("Harry" "is" "quiet" "+")
triple15
Harry is red.
("Harry" "is" "red" "+")
triple16
Erin is quiet.
("Erin" "is" "quiet" "+")
((triple5) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
((triple4 ((triple5) -> (rule2 % int2))) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2