Dave is blue. Dave is cold. Dave is green. Dave is rough. Harry is blue. Harry is furry. Harry is green. Harry is rough. Harry is round. Harry is young. Blue people are round. All round, rough people are furry. All round, blue people are furry.
Dave is blue.
("Dave" "is" "blue" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is young.
("Harry" "is" "young" "+")
Blue people are round.
((("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
All round, rough people are furry.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "furry" "+"))
All round, blue people are furry.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "furry" "+"))
Dave is cold.
True
1
proof
[(triple2)]
("Dave" "is" "cold" "+")
triple2
Dave is not rough.
False
1
inv-proof
[(triple4)]
("Dave" "is" "rough" "-")
triple4
Dave is round.
True
2
proof
[(((triple1) -> rule1))]
("Dave" "is" "round" "+")
((triple1) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is not round.
False
2
inv-proof
[(((triple1) -> rule1))]
("Dave" "is" "round" "-")
((triple1) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is furry.
True
4
proof
[(((((triple1) -> rule1) triple1) -> rule3) OR ((((triple1) -> rule1) triple4) -> rule2))]
("Dave" "is" "furry" "+")
((((triple1) -> (rule1 % int2)) triple1) -> (rule3 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
((((triple1) -> (rule1 % int2)) triple4) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is not furry.
False
4
inv-proof
[(((((triple1) -> rule1) triple1) -> rule3) OR ((((triple1) -> rule1) triple4) -> rule2))]
("Dave" "is" "furry" "-")
((((triple1) -> (rule1 % int2)) triple1) -> (rule3 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
((((triple1) -> (rule1 % int2)) triple4) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Harry is not cold.
Unknown
inv-random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "-")
Dave is young.
Unknown
random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "+")
@0: Dave is blue.[(triple1)] Dave is cold.[(triple2)] Dave is green.[(triple3)] Dave is rough.[(triple4)] Harry is blue.[(triple5)] Harry is furry.[(triple6 OR ((triple9 triple5) -> rule3) OR ((triple9 triple8) -> rule2) OR ((((triple5) -> rule1) triple5) -> rule3) OR ((((triple5) -> rule1) triple8) -> rule2))] Harry is green.[(triple7)] Harry is rough.[(triple8)] Harry is round.[(triple9 OR ((triple5) -> rule1))] Harry is young.[(triple10)] @1: Dave is round.[(((triple1) -> rule1))] @2: Dave is furry.[(((((triple1) -> rule1) triple1) -> rule3) OR ((((triple1) -> rule1) triple4) -> rule2))]
Dave is blue.
("Dave" "is" "blue" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple2
Dave is green.
("Dave" "is" "green" "+")
triple3
Dave is rough.
("Dave" "is" "rough" "+")
triple4
Harry is blue.
("Harry" "is" "blue" "+")
triple5
Harry is furry.
("Harry" "is" "furry" "+")
triple6
((triple9 triple5) -> (rule3 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
((triple9 triple8) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
((((triple5) -> (rule1 % int2)) triple5) -> (rule3 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((((triple5) -> (rule1 % int2)) triple8) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
triple7
Harry is rough.
("Harry" "is" "rough" "+")
triple8
Harry is round.
("Harry" "is" "round" "+")
triple9
((triple5) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
triple10
Dave is round.
("Dave" "is" "round" "+")
((triple1) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
((((triple1) -> (rule1 % int2)) triple1) -> (rule3 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
((((triple1) -> (rule1 % int2)) triple4) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2