Bob is green. Bob is nice. Bob is quiet. Bob is smart. Bob is young. Charlie is blue. Charlie is not cold. Charlie is green. Charlie is not nice. Charlie is quiet. Charlie is not smart. Charlie is young. All nice, young people are cold.
Bob is green.
("Bob" "is" "green" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is not cold.
("Charlie" "is" "cold" "-")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is not nice.
("Charlie" "is" "nice" "-")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is not smart.
("Charlie" "is" "smart" "-")
Charlie is young.
("Charlie" "is" "young" "+")
All nice, young people are cold.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
Charlie is not nice.
True
1
proof
[(triple9)]
("Charlie" "is" "nice" "-")
triple9
Charlie is not young.
False
1
inv-proof
[(triple12)]
("Charlie" "is" "young" "-")
triple12
Bob is cold.
True
3
proof
[(((triple2 triple5) -> rule1))]
("Bob" "is" "cold" "+")
((triple2 triple5) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is not cold.
False
3
inv-proof
[(((triple2 triple5) -> rule1))]
("Bob" "is" "cold" "-")
((triple2 triple5) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
@0: Bob is green.[(triple1)] Bob is nice.[(triple2)] Bob is quiet.[(triple3)] Bob is smart.[(triple4)] Bob is young.[(triple5)] Charlie is blue.[(triple6)] Charlie is green.[(triple8)] Charlie is not cold.[(triple7)] Charlie is not nice.[(triple9)] Charlie is not smart.[(triple11)] Charlie is quiet.[(triple10)] Charlie is young.[(triple12)] @1: Bob is cold.[(((triple2 triple5) -> rule1))]
Bob is green.
("Bob" "is" "green" "+")
triple1
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is quiet.
("Bob" "is" "quiet" "+")
triple3
Bob is smart.
("Bob" "is" "smart" "+")
triple4
Bob is young.
("Bob" "is" "young" "+")
triple5
Charlie is blue.
("Charlie" "is" "blue" "+")
triple6
Charlie is green.
("Charlie" "is" "green" "+")
triple8
Charlie is not cold.
("Charlie" "is" "cold" "-")
triple7
Charlie is not nice.
("Charlie" "is" "nice" "-")
triple9
Charlie is not smart.
("Charlie" "is" "smart" "-")
triple11
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple10
Charlie is young.
("Charlie" "is" "young" "+")
triple12
Bob is cold.
("Bob" "is" "cold" "+")
((triple2 triple5) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1