Anne is cold. Anne is furry. Anne is green. Anne is quiet. Anne is smart. Anne is white. Anne is young. Charlie is cold. Charlie is furry. Charlie is green. Charlie is quiet. Charlie is smart. Charlie is white. Charlie is young. If someone is quiet and cold then they are green.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Charlie is young.
("Charlie" "is" "young" "+")
If someone is quiet and cold then they are green.
((("someone" "is" "quiet" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
Charlie is quiet.
True
1
proof
[(triple11)]
("Charlie" "is" "quiet" "+")
triple11
Charlie is not young.
False
1
inv-proof
[(triple14)]
("Charlie" "is" "young" "-")
triple14
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is green.[(triple3 OR ((triple4 triple1) -> rule1))] Anne is quiet.[(triple4)] Anne is smart.[(triple5)] Anne is white.[(triple6)] Anne is young.[(triple7)] Charlie is cold.[(triple8)] Charlie is furry.[(triple9)] Charlie is green.[(triple10 OR ((triple11 triple8) -> rule1))] Charlie is quiet.[(triple11)] Charlie is smart.[(triple12)] Charlie is white.[(triple13)] Charlie is young.[(triple14)]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is green.
("Anne" "is" "green" "+")
triple3
((triple4 triple1) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple4
Anne is smart.
("Anne" "is" "smart" "+")
triple5
Anne is white.
("Anne" "is" "white" "+")
triple6
Anne is young.
("Anne" "is" "young" "+")
triple7
Charlie is cold.
("Charlie" "is" "cold" "+")
triple8
Charlie is furry.
("Charlie" "is" "furry" "+")
triple9
Charlie is green.
("Charlie" "is" "green" "+")
triple10
((triple11 triple8) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple11
Charlie is smart.
("Charlie" "is" "smart" "+")
triple12
Charlie is white.
("Charlie" "is" "white" "+")
triple13
Charlie is young.
("Charlie" "is" "young" "+")
triple14