Charlie is blue. Charlie is cold. Charlie is furry. Charlie is quiet. Charlie is rough. Charlie is smart. Charlie is young. Erin is blue. Erin is cold. Erin is furry. Erin is quiet. Erin is rough. Erin is smart. Erin is young. Cold, blue things are furry.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is young.
("Erin" "is" "young" "+")
Cold, blue things are furry.
((("something" "is" "cold" "+") ("something" "is" "blue" "+")) -> ("something" "is" "furry" "+"))
Erin is rough.
True
1
proof
[(triple12)]
("Erin" "is" "rough" "+")
triple12
Charlie is not rough.
False
1
inv-proof
[(triple5)]
("Charlie" "is" "rough" "-")
triple5
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is furry.[(triple3 OR ((triple2 triple1) -> rule1))] Charlie is quiet.[(triple4)] Charlie is rough.[(triple5)] Charlie is smart.[(triple6)] Charlie is young.[(triple7)] Erin is blue.[(triple8)] Erin is cold.[(triple9)] Erin is furry.[(triple10 OR ((triple9 triple8) -> rule1))] Erin is quiet.[(triple11)] Erin is rough.[(triple12)] Erin is smart.[(triple13)] Erin is young.[(triple14)]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple2
Charlie is furry.
("Charlie" "is" "furry" "+")
triple3
((triple2 triple1) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple4
Charlie is rough.
("Charlie" "is" "rough" "+")
triple5
Charlie is smart.
("Charlie" "is" "smart" "+")
triple6
Charlie is young.
("Charlie" "is" "young" "+")
triple7
Erin is blue.
("Erin" "is" "blue" "+")
triple8
Erin is cold.
("Erin" "is" "cold" "+")
triple9
Erin is furry.
("Erin" "is" "furry" "+")
triple10
((triple9 triple8) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
triple11
Erin is rough.
("Erin" "is" "rough" "+")
triple12
Erin is smart.
("Erin" "is" "smart" "+")
triple13
Erin is young.
("Erin" "is" "young" "+")
triple14