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