Erin is big. Erin is blue. Erin is green. Erin is red. Fiona is red. Fiona is round. Gary is not blue. Gary is green. Gary is kind. Gary is red. Gary is round. Harry is blue. Harry is furry. Harry is green. Harry is kind. Harry is round. If something is kind then it is not big. If something is green and not kind then it is not big. If something is kind and not green then it is not round. Round things are red. If Harry is kind and Harry is not blue then Harry is big. If Gary is not kind then Gary is big.
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is red.
("Erin" "is" "red" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Gary is not blue.
("Gary" "is" "blue" "-")
Gary is green.
("Gary" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
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 round.
("Harry" "is" "round" "+")
If something is kind then it is not big.
((("something" "is" "kind" "+")) -> ("something" "is" "big" "-"))
If something is green and not kind then it is not big.
((("something" "is" "green" "+") ("something" "is" "kind" "~")) -> ("something" "is" "big" "-"))
If something is kind and not green then it is not round.
((("something" "is" "kind" "+") ("something" "is" "green" "~")) -> ("something" "is" "round" "-"))
Round things are red.
((("something" "is" "round" "+")) -> ("something" "is" "red" "+"))
If Harry is kind and Harry is not blue then Harry is big.
((("Harry" "is" "kind" "+") ("Harry" "is" "blue" "~")) -> ("Harry" "is" "big" "+"))
If Gary is not kind then Gary is big.
((("Gary" "is" "kind" "~")) -> ("Gary" "is" "big" "+"))
Gary is red.
True
1
proof
[(triple10 OR ((triple11) -> rule4))]
("Gary" "is" "red" "+")
triple10
((triple11) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Erin is not red.
False
1
inv-proof
[(triple4)]
("Erin" "is" "red" "-")
triple4
Harry is not big.
True
2
proof
[(((triple15) -> rule1))]
("Harry" "is" "big" "-")
((triple15) -> (rule1 % int1))
Harry is not big.
("Harry" "is" "big" "-")
int1
Gary is big.
False
2
inv-proof
[(((triple9) -> rule1))]
("Gary" "is" "big" "+")
((triple9) -> (rule1 % int1))
Gary is not big.
("Gary" "is" "big" "-")
int1
Fiona is not furry.
Unknown
inv-random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
Erin is not furry.
Unknown
inv-random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "-")
Erin is round.
Unknown
random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "+")
@0: Erin is big.[(triple1)] Erin is blue.[(triple2)] Erin is green.[(triple3)] Erin is red.[(triple4)] Fiona is red.[(triple5 OR ((triple6) -> rule4))] Fiona is round.[(triple6)] Gary is green.[(triple8)] Gary is kind.[(triple9)] Gary is not blue.[(triple7)] Gary is red.[(triple10 OR ((triple11) -> rule4))] Gary is round.[(triple11)] Harry is blue.[(triple12)] Harry is furry.[(triple13)] Harry is green.[(triple14)] Harry is kind.[(triple15)] Harry is round.[(triple16)] @1: Gary is not big.[(((triple9) -> rule1))] Harry is not big.[(((triple15) -> rule1))] Harry is red.[(((triple16) -> rule4))]
Erin is big.
("Erin" "is" "big" "+")
triple1
Erin is blue.
("Erin" "is" "blue" "+")
triple2
Erin is green.
("Erin" "is" "green" "+")
triple3
Erin is red.
("Erin" "is" "red" "+")
triple4
Fiona is red.
("Fiona" "is" "red" "+")
triple5
((triple6) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
triple6
Gary is green.
("Gary" "is" "green" "+")
triple8
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Gary is not blue.
("Gary" "is" "blue" "-")
triple7
Gary is red.
("Gary" "is" "red" "+")
triple10
((triple11) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
triple11
Harry is blue.
("Harry" "is" "blue" "+")
triple12
Harry is furry.
("Harry" "is" "furry" "+")
triple13
Harry is green.
("Harry" "is" "green" "+")
triple14
Harry is kind.
("Harry" "is" "kind" "+")
triple15
Harry is round.
("Harry" "is" "round" "+")
triple16
Gary is not big.
("Gary" "is" "big" "-")
((triple9) -> (rule1 % int1))
Gary is not big.
("Gary" "is" "big" "-")
int1
Harry is not big.
("Harry" "is" "big" "-")
((triple15) -> (rule1 % int1))
Harry is not big.
("Harry" "is" "big" "-")
int1
Harry is red.
("Harry" "is" "red" "+")
((triple16) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1