Erin is big. Erin is blue. Erin is furry. Erin is green. Erin is kind. Erin is nice. Erin is quiet. Gary is quiet. Harry is big. Harry is blue. Harry is furry. Harry is green. Harry is kind. Harry is nice. Harry is quiet. Nice, quiet things are furry. All quiet things are nice.
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Nice, quiet things are furry.
((("something" "is" "nice" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "furry" "+"))
All quiet things are nice.
((("something" "is" "quiet" "+")) -> ("something" "is" "nice" "+"))
Harry is blue.
True
1
proof
[(triple10)]
("Harry" "is" "blue" "+")
triple10
Harry is not furry.
False
1
inv-proof
[(triple11 OR ((triple14 triple15) -> rule1) OR ((((triple15) -> rule2) triple15) -> rule1))]
("Harry" "is" "furry" "-")
triple11
((triple14 triple15) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
((((triple15) -> (rule2 % int2)) triple15) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Gary is nice.
True
2
proof
[(((triple8) -> rule2))]
("Gary" "is" "nice" "+")
((triple8) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is not nice.
False
2
inv-proof
[(((triple8) -> rule2))]
("Gary" "is" "nice" "-")
((triple8) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is furry.
True
4
proof
[(((((triple8) -> rule2) triple8) -> rule1))]
("Gary" "is" "furry" "+")
((((triple8) -> (rule2 % int2)) triple8) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is not furry.
False
4
inv-proof
[(((((triple8) -> rule2) triple8) -> rule1))]
("Gary" "is" "furry" "-")
((((triple8) -> (rule2 % int2)) triple8) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
@0: Erin is big.[(triple1)] Erin is blue.[(triple2)] Erin is furry.[(triple3 OR ((triple6 triple7) -> rule1) OR ((((triple7) -> rule2) triple7) -> rule1))] Erin is green.[(triple4)] Erin is kind.[(triple5)] Erin is nice.[(triple6 OR ((triple7) -> rule2))] Erin is quiet.[(triple7)] Gary is quiet.[(triple8)] Harry is big.[(triple9)] Harry is blue.[(triple10)] Harry is furry.[(triple11 OR ((triple14 triple15) -> rule1) OR ((((triple15) -> rule2) triple15) -> rule1))] Harry is green.[(triple12)] Harry is kind.[(triple13)] Harry is nice.[(triple14 OR ((triple15) -> rule2))] Harry is quiet.[(triple15)] @1: Gary is nice.[(((triple8) -> rule2))] @2: Gary is furry.[(((((triple8) -> rule2) triple8) -> rule1))]
Erin is big.
("Erin" "is" "big" "+")
triple1
Erin is blue.
("Erin" "is" "blue" "+")
triple2
Erin is furry.
("Erin" "is" "furry" "+")
triple3
((triple6 triple7) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((((triple7) -> (rule2 % int2)) triple7) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
triple4
Erin is kind.
("Erin" "is" "kind" "+")
triple5
Erin is nice.
("Erin" "is" "nice" "+")
triple6
((triple7) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
triple7
Gary is quiet.
("Gary" "is" "quiet" "+")
triple8
Harry is big.
("Harry" "is" "big" "+")
triple9
Harry is blue.
("Harry" "is" "blue" "+")
triple10
Harry is furry.
("Harry" "is" "furry" "+")
triple11
((triple14 triple15) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
((((triple15) -> (rule2 % int2)) triple15) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
triple12
Harry is kind.
("Harry" "is" "kind" "+")
triple13
Harry is nice.
("Harry" "is" "nice" "+")
triple14
((triple15) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
triple15
Gary is nice.
("Gary" "is" "nice" "+")
((triple8) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
((((triple8) -> (rule2 % int2)) triple8) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2