Charlie is furry. Charlie is kind. Charlie is rough. Charlie is round. Charlie is white. Harry is furry. Harry is not kind. Harry is quiet. Harry is red. Harry is rough. Harry is round. Harry is white. Furry, rough people are red. All red, furry people are quiet.
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is not kind.
("Harry" "is" "kind" "-")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is white.
("Harry" "is" "white" "+")
Furry, rough people are red.
((("someone" "is" "furry" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
All red, furry people are quiet.
((("someone" "is" "red" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "quiet" "+"))
Charlie is round.
True
1
proof
[(triple4)]
("Charlie" "is" "round" "+")
triple4
Charlie is not round.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "round" "-")
triple4
Charlie is red.
True
3
proof
[(((triple1 triple3) -> rule1))]
("Charlie" "is" "red" "+")
((triple1 triple3) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is not red.
False
3
inv-proof
[(((triple1 triple3) -> rule1))]
("Charlie" "is" "red" "-")
((triple1 triple3) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is quiet.
True
5
proof
[(((((triple1 triple3) -> rule1) triple1) -> rule2))]
("Charlie" "is" "quiet" "+")
((((triple1 triple3) -> (rule1 % int2)) triple1) -> (rule2 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is not quiet.
False
5
inv-proof
[(((((triple1 triple3) -> rule1) triple1) -> rule2))]
("Charlie" "is" "quiet" "-")
((((triple1 triple3) -> (rule1 % int2)) triple1) -> (rule2 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
@0: Charlie is furry.[(triple1)] Charlie is kind.[(triple2)] Charlie is rough.[(triple3)] Charlie is round.[(triple4)] Charlie is white.[(triple5)] Harry is furry.[(triple6)] Harry is not kind.[(triple7)] Harry is quiet.[(triple8 OR ((triple9 triple6) -> rule2) OR ((((triple6 triple10) -> rule1) triple6) -> rule2))] Harry is red.[(triple9 OR ((triple6 triple10) -> rule1))] Harry is rough.[(triple10)] Harry is round.[(triple11)] Harry is white.[(triple12)] @1: Charlie is red.[(((triple1 triple3) -> rule1))] @2: Charlie is quiet.[(((((triple1 triple3) -> rule1) triple1) -> rule2))]
Charlie is furry.
("Charlie" "is" "furry" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
Charlie is round.
("Charlie" "is" "round" "+")
triple4
Charlie is white.
("Charlie" "is" "white" "+")
triple5
Harry is furry.
("Harry" "is" "furry" "+")
triple6
Harry is not kind.
("Harry" "is" "kind" "-")
triple7
Harry is quiet.
("Harry" "is" "quiet" "+")
triple8
((triple9 triple6) -> (rule2 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
((((triple6 triple10) -> (rule1 % int2)) triple6) -> (rule2 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
triple9
((triple6 triple10) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
triple10
Harry is round.
("Harry" "is" "round" "+")
triple11
Harry is white.
("Harry" "is" "white" "+")
triple12
Charlie is red.
("Charlie" "is" "red" "+")
((triple1 triple3) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((((triple1 triple3) -> (rule1 % int2)) triple1) -> (rule2 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2