Charlie is cold. Charlie is nice. Charlie is smart. Charlie is white. Charlie is young. Erin is cold. Erin is nice. Erin is rough. Erin is round. Erin is smart. Erin is white. Erin is young. If something is round and cold then it is young. If something is smart then it is rough.
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
If something is round and cold then it is young.
((("something" "is" "round" "+") ("something" "is" "cold" "+")) -> ("something" "is" "young" "+"))
If something is smart then it is rough.
((("something" "is" "smart" "+")) -> ("something" "is" "rough" "+"))
Erin is cold.
True
1
proof
[(triple6)]
("Erin" "is" "cold" "+")
triple6
Charlie is not white.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "white" "-")
triple4
Charlie is rough.
True
2
proof
[(((triple3) -> rule2))]
("Charlie" "is" "rough" "+")
((triple3) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is not rough.
False
2
inv-proof
[(((triple3) -> rule2))]
("Charlie" "is" "rough" "-")
((triple3) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
@0: Charlie is cold.[(triple1)] Charlie is nice.[(triple2)] Charlie is smart.[(triple3)] Charlie is white.[(triple4)] Charlie is young.[(triple5)] Erin is cold.[(triple6)] Erin is nice.[(triple7)] Erin is rough.[(triple8 OR ((triple10) -> rule2))] Erin is round.[(triple9)] Erin is smart.[(triple10)] Erin is white.[(triple11)] Erin is young.[(triple12 OR ((triple9 triple6) -> rule1))] @1: Charlie is rough.[(((triple3) -> rule2))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Charlie is smart.
("Charlie" "is" "smart" "+")
triple3
Charlie is white.
("Charlie" "is" "white" "+")
triple4
Charlie is young.
("Charlie" "is" "young" "+")
triple5
Erin is cold.
("Erin" "is" "cold" "+")
triple6
Erin is nice.
("Erin" "is" "nice" "+")
triple7
Erin is rough.
("Erin" "is" "rough" "+")
triple8
((triple10) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
triple9
Erin is smart.
("Erin" "is" "smart" "+")
triple10
Erin is white.
("Erin" "is" "white" "+")
triple11
Erin is young.
("Erin" "is" "young" "+")
triple12
((triple9 triple6) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple3) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1