Dave is rough. Dave is round. Dave is white. Dave is young. Erin is cold. Erin is rough. Erin is round. Erin is white. Erin is young. Gary is cold. Gary is green. Gary is kind. Gary is rough. Gary is round. Gary is white. Gary is young. All white people are green. Young, kind people are cold. Green, white people are kind.
Dave is rough.
("Dave" "is" "rough" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is white.
("Dave" "is" "white" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
All white people are green.
((("someone" "is" "white" "+")) -> ("someone" "is" "green" "+"))
Young, kind people are cold.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
Green, white people are kind.
((("someone" "is" "green" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "kind" "+"))
Gary is round.
True
1
proof
[(triple14)]
("Gary" "is" "round" "+")
triple14
Erin is not rough.
False
1
inv-proof
[(triple6)]
("Erin" "is" "rough" "-")
triple6
Erin is green.
True
2
proof
[(((triple8) -> rule1))]
("Erin" "is" "green" "+")
((triple8) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Dave is not green.
False
2
inv-proof
[(((triple3) -> rule1))]
("Dave" "is" "green" "-")
((triple3) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Erin is kind.
True
4
proof
[(((((triple8) -> rule1) triple8) -> rule3))]
("Erin" "is" "kind" "+")
((((triple8) -> (rule1 % int2)) triple8) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is not kind.
False
4
inv-proof
[(((((triple8) -> rule1) triple8) -> rule3))]
("Erin" "is" "kind" "-")
((((triple8) -> (rule1 % int2)) triple8) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Dave is cold.
True
6
proof
[(((triple4 ((((triple3) -> rule1) triple3) -> rule3)) -> rule2))]
("Dave" "is" "cold" "+")
((triple4 ((((triple3) -> (rule1 % int3)) triple3) -> (rule3 % int2))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is not cold.
False
6
inv-proof
[(((triple4 ((((triple3) -> rule1) triple3) -> rule3)) -> rule2))]
("Dave" "is" "cold" "-")
((triple4 ((((triple3) -> (rule1 % int3)) triple3) -> (rule3 % int2))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
@0: Dave is rough.[(triple1)] Dave is round.[(triple2)] Dave is white.[(triple3)] Dave is young.[(triple4)] Erin is cold.[(triple5 OR ((triple9 ((((triple8) -> rule1) triple8) -> rule3)) -> rule2))] Erin is rough.[(triple6)] Erin is round.[(triple7)] Erin is white.[(triple8)] Erin is young.[(triple9)] Gary is cold.[(triple10 OR ((triple16 triple12) -> rule2) OR ((triple16 ((triple11 triple15) -> rule3)) -> rule2) OR ((triple16 ((((triple15) -> rule1) triple15) -> rule3)) -> rule2))] Gary is green.[(triple11 OR ((triple15) -> rule1))] Gary is kind.[(triple12 OR ((triple11 triple15) -> rule3) OR ((((triple15) -> rule1) triple15) -> rule3))] Gary is rough.[(triple13)] Gary is round.[(triple14)] Gary is white.[(triple15)] Gary is young.[(triple16)] @1: Dave is green.[(((triple3) -> rule1))] Erin is green.[(((triple8) -> rule1))] @2: Dave is kind.[(((((triple3) -> rule1) triple3) -> rule3))] Erin is kind.[(((((triple8) -> rule1) triple8) -> rule3))] @3: Dave is cold.[(((triple4 ((((triple3) -> rule1) triple3) -> rule3)) -> rule2))]
Dave is rough.
("Dave" "is" "rough" "+")
triple1
Dave is round.
("Dave" "is" "round" "+")
triple2
Dave is white.
("Dave" "is" "white" "+")
triple3
Dave is young.
("Dave" "is" "young" "+")
triple4
Erin is cold.
("Erin" "is" "cold" "+")
triple5
((triple9 ((((triple8) -> (rule1 % int3)) triple8) -> (rule3 % int2))) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
triple6
Erin is round.
("Erin" "is" "round" "+")
triple7
Erin is white.
("Erin" "is" "white" "+")
triple8
Erin is young.
("Erin" "is" "young" "+")
triple9
Gary is cold.
("Gary" "is" "cold" "+")
triple10
((triple16 triple12) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
((triple16 ((triple11 triple15) -> (rule3 % int2))) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
((triple16 ((((triple15) -> (rule1 % int3)) triple15) -> (rule3 % int2))) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
triple11
((triple15) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
triple12
((triple11 triple15) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
((((triple15) -> (rule1 % int2)) triple15) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
triple13
Gary is round.
("Gary" "is" "round" "+")
triple14
Gary is white.
("Gary" "is" "white" "+")
triple15
Gary is young.
("Gary" "is" "young" "+")
triple16
Dave is green.
("Dave" "is" "green" "+")
((triple3) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
((triple8) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
((((triple3) -> (rule1 % int2)) triple3) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
((((triple8) -> (rule1 % int2)) triple8) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
((triple4 ((((triple3) -> (rule1 % int3)) triple3) -> (rule3 % int2))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3