Dave is big. Dave is blue. Dave is furry. Dave is green. Dave is red. Dave is rough. Dave is young. Fiona is big. Fiona is green. Fiona is red. Fiona is rough. Fiona is young. Harry is big. Harry is green. Harry is red. Harry is rough. All big, green things are furry. Blue, red things are rough. All young things are big.
Dave is big.
("Dave" "is" "big" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is rough.
("Harry" "is" "rough" "+")
All big, green things are furry.
((("something" "is" "big" "+") ("something" "is" "green" "+")) -> ("something" "is" "furry" "+"))
Blue, red things are rough.
((("something" "is" "blue" "+") ("something" "is" "red" "+")) -> ("something" "is" "rough" "+"))
All young things are big.
((("something" "is" "young" "+")) -> ("something" "is" "big" "+"))
Dave is blue.
True
1
proof
[(triple2)]
("Dave" "is" "blue" "+")
triple2
Dave is not big.
False
1
inv-proof
[(triple1 OR ((triple7) -> rule3))]
("Dave" "is" "big" "-")
triple1
((triple7) -> (rule3 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Fiona is furry.
True
3
proof
[(((triple8 triple9) -> rule1) OR ((((triple12) -> rule3) triple9) -> rule1))]
("Fiona" "is" "furry" "+")
((triple8 triple9) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((((triple12) -> (rule3 % int2)) triple9) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is not furry.
False
3
inv-proof
[(((triple8 triple9) -> rule1) OR ((((triple12) -> rule3) triple9) -> rule1))]
("Fiona" "is" "furry" "-")
((triple8 triple9) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((((triple12) -> (rule3 % int2)) triple9) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Harry is not blue.
Unknown
inv-random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
@0: Dave is big.[(triple1 OR ((triple7) -> rule3))] Dave is blue.[(triple2)] Dave is furry.[(triple3 OR ((triple1 triple4) -> rule1) OR ((((triple7) -> rule3) triple4) -> rule1))] Dave is green.[(triple4)] Dave is red.[(triple5)] Dave is rough.[(triple6 OR ((triple2 triple5) -> rule2))] Dave is young.[(triple7)] Fiona is big.[(triple8 OR ((triple12) -> rule3))] Fiona is green.[(triple9)] Fiona is red.[(triple10)] Fiona is rough.[(triple11)] Fiona is young.[(triple12)] Harry is big.[(triple13)] Harry is green.[(triple14)] Harry is red.[(triple15)] Harry is rough.[(triple16)] @1: Fiona is furry.[(((triple8 triple9) -> rule1) OR ((((triple12) -> rule3) triple9) -> rule1))] Harry is furry.[(((triple13 triple14) -> rule1))]
Dave is big.
("Dave" "is" "big" "+")
triple1
((triple7) -> (rule3 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
triple2
Dave is furry.
("Dave" "is" "furry" "+")
triple3
((triple1 triple4) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
((((triple7) -> (rule3 % int2)) triple4) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
triple4
Dave is red.
("Dave" "is" "red" "+")
triple5
Dave is rough.
("Dave" "is" "rough" "+")
triple6
((triple2 triple5) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
triple7
Fiona is big.
("Fiona" "is" "big" "+")
triple8
((triple12) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
triple9
Fiona is red.
("Fiona" "is" "red" "+")
triple10
Fiona is rough.
("Fiona" "is" "rough" "+")
triple11
Fiona is young.
("Fiona" "is" "young" "+")
triple12
Harry is big.
("Harry" "is" "big" "+")
triple13
Harry is green.
("Harry" "is" "green" "+")
triple14
Harry is red.
("Harry" "is" "red" "+")
triple15
Harry is rough.
("Harry" "is" "rough" "+")
triple16
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple8 triple9) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((((triple12) -> (rule3 % int2)) triple9) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
((triple13 triple14) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1