Erin is furry. Erin is quiet. Erin is round. Erin is white. Fiona is furry. Fiona is green. Fiona is quiet. Fiona is round. Fiona is young. Gary is big. Gary is furry. Gary is green. Gary is quiet. Gary is round. Gary is white. Gary is young. Young, round people are green. Quiet people are young. All green, white people are young.
Erin is furry.
("Erin" "is" "furry" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
Young, round people are green.
((("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
Quiet people are young.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "young" "+"))
All green, white people are young.
((("someone" "is" "green" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "young" "+"))
Erin is round.
True
1
proof
[(triple3)]
("Erin" "is" "round" "+")
triple3
Gary is not green.
False
1
inv-proof
[(triple12 OR ((triple16 triple14) -> rule1) OR ((((triple13) -> rule2) triple14) -> rule1))]
("Gary" "is" "green" "-")
triple12
((triple16 triple14) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((((triple13) -> (rule2 % int2)) triple14) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Erin is young.
True
2
proof
[(((triple2) -> rule2))]
("Erin" "is" "young" "+")
((triple2) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is not young.
False
2
inv-proof
[(((triple2) -> rule2))]
("Erin" "is" "young" "-")
((triple2) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is green.
True
4
proof
[(((((triple2) -> rule2) triple3) -> rule1))]
("Erin" "is" "green" "+")
((((triple2) -> (rule2 % int2)) triple3) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is not green.
False
4
inv-proof
[(((((triple2) -> rule2) triple3) -> rule1))]
("Erin" "is" "green" "-")
((((triple2) -> (rule2 % int2)) triple3) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is not big.
Unknown
inv-random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "-")
Fiona is big.
Unknown
random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "+")
@0: Erin is furry.[(triple1)] Erin is quiet.[(triple2)] Erin is round.[(triple3)] Erin is white.[(triple4)] Fiona is furry.[(triple5)] Fiona is green.[(triple6 OR ((triple9 triple8) -> rule1) OR ((((triple7) -> rule2) triple8) -> rule1))] Fiona is quiet.[(triple7)] Fiona is round.[(triple8)] Fiona is young.[(triple9 OR ((triple7) -> rule2))] Gary is big.[(triple10)] Gary is furry.[(triple11)] Gary is green.[(triple12 OR ((triple16 triple14) -> rule1) OR ((((triple13) -> rule2) triple14) -> rule1))] Gary is quiet.[(triple13)] Gary is round.[(triple14)] Gary is white.[(triple15)] Gary is young.[(triple16 OR ((triple13) -> rule2) OR ((triple12 triple15) -> rule3))] @1: Erin is young.[(((triple2) -> rule2))] @2: Erin is green.[(((((triple2) -> rule2) triple3) -> rule1))]
Erin is furry.
("Erin" "is" "furry" "+")
triple1
Erin is quiet.
("Erin" "is" "quiet" "+")
triple2
Erin is round.
("Erin" "is" "round" "+")
triple3
Erin is white.
("Erin" "is" "white" "+")
triple4
Fiona is furry.
("Fiona" "is" "furry" "+")
triple5
Fiona is green.
("Fiona" "is" "green" "+")
triple6
((triple9 triple8) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((((triple7) -> (rule2 % int2)) triple8) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple7
Fiona is round.
("Fiona" "is" "round" "+")
triple8
Fiona is young.
("Fiona" "is" "young" "+")
triple9
((triple7) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
triple10
Gary is furry.
("Gary" "is" "furry" "+")
triple11
Gary is green.
("Gary" "is" "green" "+")
triple12
((triple16 triple14) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((((triple13) -> (rule2 % int2)) triple14) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
triple13
Gary is round.
("Gary" "is" "round" "+")
triple14
Gary is white.
("Gary" "is" "white" "+")
triple15
Gary is young.
("Gary" "is" "young" "+")
triple16
((triple13) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((triple12 triple15) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
((triple2) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
((((triple2) -> (rule2 % int2)) triple3) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2