Erin is not big. Erin is cold. Erin is not smart. Fiona is big. Fiona is cold. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is smart. Fiona is young. Gary is big. Gary is not cold. Gary is furry. Gary is nice. Gary is smart. Gary is not young. Young things are furry. If Erin is not big then Erin is furry. Nice, furry things are smart.
Erin is not big.
("Erin" "is" "big" "-")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is not smart.
("Erin" "is" "smart" "-")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is not cold.
("Gary" "is" "cold" "-")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is not young.
("Gary" "is" "young" "-")
Young things are furry.
((("something" "is" "young" "+")) -> ("something" "is" "furry" "+"))
If Erin is not big then Erin is furry.
((("Erin" "is" "big" "~")) -> ("Erin" "is" "furry" "+"))
Nice, furry things are smart.
((("something" "is" "nice" "+") ("something" "is" "furry" "+")) -> ("something" "is" "smart" "+"))
Fiona is young.
True
1
proof
[(triple10)]
("Fiona" "is" "young" "+")
triple10
Erin is smart.
False
1
inv-proof
[(triple3)]
("Erin" "is" "smart" "+")
triple3
Erin is furry.
True
2
proof
[(((triple1) -> rule2))]
("Erin" "is" "furry" "+")
((triple1) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is not furry.
False
2
inv-proof
[(((triple1) -> rule2))]
("Erin" "is" "furry" "-")
((triple1) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is not kind.
Unknown
inv-random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "-")
Erin is nice.
Unknown
random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Erin is young.
Unknown
random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "+")
@0: Erin is cold.[(triple2)] Erin is not big.[(triple1)] Erin is not smart.[(triple3)] Fiona is big.[(triple4)] Fiona is cold.[(triple5)] Fiona is furry.[(triple6 OR ((triple10) -> rule1))] Fiona is kind.[(triple7)] Fiona is nice.[(triple8)] Fiona is smart.[(triple9 OR ((triple8 triple6) -> rule3) OR ((triple8 ((triple10) -> rule1)) -> rule3))] Fiona is young.[(triple10)] Gary is big.[(triple11)] Gary is furry.[(triple13)] Gary is nice.[(triple14)] Gary is not cold.[(triple12)] Gary is not young.[(triple16)] Gary is smart.[(triple15 OR ((triple14 triple13) -> rule3))] @1: Erin is furry.[(((triple1) -> rule2))]
Erin is cold.
("Erin" "is" "cold" "+")
triple2
Erin is not big.
("Erin" "is" "big" "-")
triple1
Erin is not smart.
("Erin" "is" "smart" "-")
triple3
Fiona is big.
("Fiona" "is" "big" "+")
triple4
Fiona is cold.
("Fiona" "is" "cold" "+")
triple5
Fiona is furry.
("Fiona" "is" "furry" "+")
triple6
((triple10) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple7
Fiona is nice.
("Fiona" "is" "nice" "+")
triple8
Fiona is smart.
("Fiona" "is" "smart" "+")
triple9
((triple8 triple6) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((triple8 ((triple10) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
triple10
Gary is big.
("Gary" "is" "big" "+")
triple11
Gary is furry.
("Gary" "is" "furry" "+")
triple13
Gary is nice.
("Gary" "is" "nice" "+")
triple14
Gary is not cold.
("Gary" "is" "cold" "-")
triple12
Gary is not young.
("Gary" "is" "young" "-")
triple16
Gary is smart.
("Gary" "is" "smart" "+")
triple15
((triple14 triple13) -> (rule3 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
((triple1) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1