Bob is young but big for his age. Bob wasn't feeling well so he is a little green. Big Fred is nice but also rough. Gary is a fairly round person for being as nice as he is. He is also blue because of his rough upbringing. He gets red when he talks about it. Harry ate some rotten meat and now feels green. A green, inexperienced person with a round shape who is kind to others gets very red when in the sun. People who are big and kind and feel down and blue tend to have rough skin. Young people green with envy are so focused on themselves that they are often describe as cold. That is misleading though because these people are also kind. A green person is going to be rough. People that are big but also green, may ultimately be very nice. Nice people are cold people. Those who are round and cold are young.
Bob is young.
("Bob" "is" "young" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is big.
("Bob" "is" "big" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is big.
("Fred" "is" "big" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is green and round and kind then they are red.
((("someone" "is" "green" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and big and blue then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is green and cold and young then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is green then they are rough.
((("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is big and green then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice then they are cold.
((("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and round then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
Bob is green.
True
1
proof
[(triple2)]
("Bob" "is" "green" "+")
triple2
Gary is not rough.
False
1
inv-proof
[(triple8)]
("Gary" "is" "rough" "-")
triple8
Gary is cold.
True
2
proof
[(((triple10) -> rule6))]
("Gary" "is" "cold" "+")
((triple10) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Harry is not rough.
False
2
inv-proof
[(((triple12) -> rule4))]
("Harry" "is" "rough" "-")
((triple12) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Bob is cold.
True
4
proof
[(((((triple3 triple2) -> rule5)) -> rule6))]
("Bob" "is" "cold" "+")
((((triple3 triple2) -> (rule5 % int2))) -> (rule6 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is not cold.
False
4
inv-proof
[(((((triple3 triple2) -> rule5)) -> rule6))]
("Bob" "is" "cold" "-")
((((triple3 triple2) -> (rule5 % int2))) -> (rule6 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is kind.
True
7
proof
[(((triple2 ((((triple3 triple2) -> rule5)) -> rule6) triple1) -> rule3))]
("Bob" "is" "kind" "+")
((triple2 ((((triple3 triple2) -> (rule5 % int3))) -> (rule6 % int2)) triple1) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is not kind.
False
7
inv-proof
[(((triple2 ((((triple3 triple2) -> rule5)) -> rule6) triple1) -> rule3))]
("Bob" "is" "kind" "-")
((triple2 ((((triple3 triple2) -> (rule5 % int3))) -> (rule6 % int2)) triple1) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Harry is not young.
Unknown
inv-rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Harry" "is" "young" "-")
Gary is kind.
Unknown
rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "kind" "+")
Harry is not red.
Unknown
inv-rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "red" "-")
Bob is red.
Unknown
rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "red" "+")
Harry is not big.
Unknown
inv-random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
Fred is not green.
Unknown
inv-random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "-")
Fred is round.
Unknown
random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "+")
@0: Bob is big.[(triple3)] Bob is green.[(triple2)] Bob is young.[(triple1)] Fred is big.[(triple6)] Fred is nice.[(triple5)] Fred is rough.[(triple4)] Gary is blue.[(triple11)] Gary is nice.[(triple10)] Gary is red.[(triple9)] Gary is rough.[(triple8)] Gary is round.[(triple7)] Harry is green.[(triple12)] @1: Bob is nice.[(((triple3 triple2) -> rule5))] Bob is rough.[(((triple2) -> rule4))] Fred is cold.[(((triple5) -> rule6))] Gary is cold.[(((triple10) -> rule6))] Harry is rough.[(((triple12) -> rule4))] @2: Bob is cold.[(((((triple3 triple2) -> rule5)) -> rule6))] Gary is young.[(((((triple10) -> rule6) triple7) -> rule7))] @3: Bob is kind.[(((triple2 ((((triple3 triple2) -> rule5)) -> rule6) triple1) -> rule3))]
Bob is big.
("Bob" "is" "big" "+")
triple3
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Fred is big.
("Fred" "is" "big" "+")
triple6
Fred is nice.
("Fred" "is" "nice" "+")
triple5
Fred is rough.
("Fred" "is" "rough" "+")
triple4
Gary is blue.
("Gary" "is" "blue" "+")
triple11
Gary is nice.
("Gary" "is" "nice" "+")
triple10
Gary is red.
("Gary" "is" "red" "+")
triple9
Gary is rough.
("Gary" "is" "rough" "+")
triple8
Gary is round.
("Gary" "is" "round" "+")
triple7
Harry is green.
("Harry" "is" "green" "+")
triple12
Bob is nice.
("Bob" "is" "nice" "+")
((triple3 triple2) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
((triple2) -> (rule4 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
((triple5) -> (rule6 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((triple10) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
((triple12) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
((((triple3 triple2) -> (rule5 % int2))) -> (rule6 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
((((triple10) -> (rule6 % int2)) triple7) -> (rule7 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
((triple2 ((((triple3 triple2) -> (rule5 % int3))) -> (rule6 % int2)) triple1) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is young but big for his age; Bob wasn't feeling well so he is a little green.
Big Fred is nice but also rough.
Gary is a fairly round person for being as nice as he is; He is also blue because of his rough upbringing; He gets red when he talks about it.
Harry ate some rotten meat and now feels green.
A green, inexperienced person with a round shape who is kind to others gets very red when in the sun.
People who are big and kind and feel down and blue tend to have rough skin.
Young people green with envy are so focused on themselves that they are often describe as cold; That is misleading though because these people are also kind.
A green person is going to be rough.
People that are big but also green, may ultimately be very nice.
Nice people are cold people.
Those who are round and cold are young.