Charlie is blue. Charlie is cold. Charlie is furry. Charlie is nice. Charlie is red. Charlie is round. Charlie is white. Dave is blue. Dave is cold. Dave is furry. Dave is nice. Dave is red. Dave is round. Dave is white. All blue, furry people are cold.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is white.
("Dave" "is" "white" "+")
All blue, furry people are cold.
((("someone" "is" "blue" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "cold" "+"))
Charlie is nice.
True
1
proof
[(triple4)]
("Charlie" "is" "nice" "+")
triple4
Charlie is not round.
False
1
inv-proof
[(triple6)]
("Charlie" "is" "round" "-")
triple6
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2 OR ((triple1 triple3) -> rule1))] Charlie is furry.[(triple3)] Charlie is nice.[(triple4)] Charlie is red.[(triple5)] Charlie is round.[(triple6)] Charlie is white.[(triple7)] Dave is blue.[(triple8)] Dave is cold.[(triple9 OR ((triple8 triple10) -> rule1))] Dave is furry.[(triple10)] Dave is nice.[(triple11)] Dave is red.[(triple12)] Dave is round.[(triple13)] Dave is white.[(triple14)]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple2
((triple1 triple3) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
triple3
Charlie is nice.
("Charlie" "is" "nice" "+")
triple4
Charlie is red.
("Charlie" "is" "red" "+")
triple5
Charlie is round.
("Charlie" "is" "round" "+")
triple6
Charlie is white.
("Charlie" "is" "white" "+")
triple7
Dave is blue.
("Dave" "is" "blue" "+")
triple8
Dave is cold.
("Dave" "is" "cold" "+")
triple9
((triple8 triple10) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
triple10
Dave is nice.
("Dave" "is" "nice" "+")
triple11
Dave is red.
("Dave" "is" "red" "+")
triple12
Dave is round.
("Dave" "is" "round" "+")
triple13
Dave is white.
("Dave" "is" "white" "+")
triple14