Erin is nice. Erin is rough. Erin is round. Fiona is big. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is rough. Fiona is round. Fiona is smart. Gary is round. Gary is smart. Round, smart things are furry. Rough things are smart.
Erin is nice.
("Erin" "is" "nice" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Round, smart things are furry.
((("something" "is" "round" "+") ("something" "is" "smart" "+")) -> ("something" "is" "furry" "+"))
Rough things are smart.
((("something" "is" "rough" "+")) -> ("something" "is" "smart" "+"))
Fiona is rough.
True
1
proof
[(triple8)]
("Fiona" "is" "rough" "+")
triple8
Fiona is not furry.
False
1
inv-proof
[(triple5 OR ((triple9 triple10) -> rule1) OR ((triple9 ((triple8) -> rule2)) -> rule1))]
("Fiona" "is" "furry" "-")
triple5
((triple9 triple10) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((triple9 ((triple8) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Gary is furry.
True
3
proof
[(((triple11 triple12) -> rule1))]
("Gary" "is" "furry" "+")
((triple11 triple12) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Erin is not smart.
False
2
inv-proof
[(((triple2) -> rule2))]
("Erin" "is" "smart" "-")
((triple2) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is furry.
True
4
proof
[(((triple3 ((triple2) -> rule2)) -> rule1))]
("Erin" "is" "furry" "+")
((triple3 ((triple2) -> (rule2 % int2))) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is not furry.
False
4
inv-proof
[(((triple3 ((triple2) -> rule2)) -> rule1))]
("Erin" "is" "furry" "-")
((triple3 ((triple2) -> (rule2 % int2))) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is not kind.
Unknown
inv-random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
Erin is not big.
Unknown
inv-random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
@0: Erin is nice.[(triple1)] Erin is rough.[(triple2)] Erin is round.[(triple3)] Fiona is big.[(triple4)] Fiona is furry.[(triple5 OR ((triple9 triple10) -> rule1) OR ((triple9 ((triple8) -> rule2)) -> rule1))] Fiona is kind.[(triple6)] Fiona is nice.[(triple7)] Fiona is rough.[(triple8)] Fiona is round.[(triple9)] Fiona is smart.[(triple10 OR ((triple8) -> rule2))] Gary is round.[(triple11)] Gary is smart.[(triple12)] @1: Erin is smart.[(((triple2) -> rule2))] Gary is furry.[(((triple11 triple12) -> rule1))] @2: Erin is furry.[(((triple3 ((triple2) -> rule2)) -> rule1))]
Erin is nice.
("Erin" "is" "nice" "+")
triple1
Erin is rough.
("Erin" "is" "rough" "+")
triple2
Erin is round.
("Erin" "is" "round" "+")
triple3
Fiona is big.
("Fiona" "is" "big" "+")
triple4
Fiona is furry.
("Fiona" "is" "furry" "+")
triple5
((triple9 triple10) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((triple9 ((triple8) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
triple6
Fiona is nice.
("Fiona" "is" "nice" "+")
triple7
Fiona is rough.
("Fiona" "is" "rough" "+")
triple8
Fiona is round.
("Fiona" "is" "round" "+")
triple9
Fiona is smart.
("Fiona" "is" "smart" "+")
triple10
((triple8) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
triple11
Gary is smart.
("Gary" "is" "smart" "+")
triple12
Erin is smart.
("Erin" "is" "smart" "+")
((triple2) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
((triple11 triple12) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
((triple3 ((triple2) -> (rule2 % int2))) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2