Erin is blue. Erin is cold. Erin is green. Erin is quiet. Erin is red. Gary is blue. Gary is cold. Gary is green. Gary is quiet. Gary is red. Gary is smart. Gary is young. If Gary is smart and Gary is quiet then Gary is blue. If someone is quiet then they are young.
Erin is blue.
("Erin" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is red.
("Erin" "is" "red" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is young.
("Gary" "is" "young" "+")
If Gary is smart and Gary is quiet then Gary is blue.
((("Gary" "is" "smart" "+") ("Gary" "is" "quiet" "+")) -> ("Gary" "is" "blue" "+"))
If someone is quiet then they are young.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "young" "+"))
Erin is red.
True
1
proof
[(triple5)]
("Erin" "is" "red" "+")
triple5
Gary is not cold.
False
1
inv-proof
[(triple7)]
("Gary" "is" "cold" "-")
triple7
Erin is young.
True
2
proof
[(((triple4) -> rule2))]
("Erin" "is" "young" "+")
((triple4) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is not young.
False
2
inv-proof
[(((triple4) -> rule2))]
("Erin" "is" "young" "-")
((triple4) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
@0: Erin is blue.[(triple1)] Erin is cold.[(triple2)] Erin is green.[(triple3)] Erin is quiet.[(triple4)] Erin is red.[(triple5)] Gary is blue.[(triple6 OR ((triple11 triple9) -> rule1))] Gary is cold.[(triple7)] Gary is green.[(triple8)] Gary is quiet.[(triple9)] Gary is red.[(triple10)] Gary is smart.[(triple11)] Gary is young.[(triple12 OR ((triple9) -> rule2))] @1: Erin is young.[(((triple4) -> rule2))]
Erin is blue.
("Erin" "is" "blue" "+")
triple1
Erin is cold.
("Erin" "is" "cold" "+")
triple2
Erin is green.
("Erin" "is" "green" "+")
triple3
Erin is quiet.
("Erin" "is" "quiet" "+")
triple4
Erin is red.
("Erin" "is" "red" "+")
triple5
Gary is blue.
("Gary" "is" "blue" "+")
triple6
((triple11 triple9) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
triple7
Gary is green.
("Gary" "is" "green" "+")
triple8
Gary is quiet.
("Gary" "is" "quiet" "+")
triple9
Gary is red.
("Gary" "is" "red" "+")
triple10
Gary is smart.
("Gary" "is" "smart" "+")
triple11
Gary is young.
("Gary" "is" "young" "+")
triple12
((triple9) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
((triple4) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1