Fred fits the description of someone who is rough, red and blue. Gary is so big, he is often blue, but always kind. Even though Harry is big and rough, he is nice. Harry often is blue and green with envy. People who are rough are young. Red people who are also kind often turn out to be cold from standing outdoors too long. Young and rough green people, have no choice but to be red. Big people with round and somewhat red faces will have rough skin. People that are red and blue and green at the same time have a reason to be cold. Green eyed people are often nice, but when they are also round about the middle they are most certainly kind.
Fred is rough.
("Fred" "is" "rough" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is rough then they are young.
((("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is kind and red then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is young and rough and green then they are red.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is big and round and red then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is red and blue and green then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is green and nice and round then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
Gary is kind.
True
1
proof
[(triple4)]
("Gary" "is" "kind" "+")
triple4
Gary is not kind.
False
1
inv-proof
[(triple4)]
("Gary" "is" "kind" "-")
triple4
Fred is young.
True
2
proof
[(((triple1) -> rule1))]
("Fred" "is" "young" "+")
((triple1) -> (rule1 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is not young.
False
2
inv-proof
[(((triple1) -> rule1))]
("Fred" "is" "young" "-")
((triple1) -> (rule1 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Harry is red.
True
5
proof
[(((((triple7) -> rule1) triple7 triple9) -> rule3))]
("Harry" "is" "red" "+")
((((triple7) -> (rule1 % int2)) triple7 triple9) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is not red.
False
5
inv-proof
[(((((triple7) -> rule1) triple7 triple9) -> rule3))]
("Harry" "is" "red" "-")
((((triple7) -> (rule1 % int2)) triple7 triple9) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is cold.
True
8
proof
[(((((((triple7) -> rule1) triple7 triple9) -> rule3) triple10 triple9) -> rule5))]
("Harry" "is" "cold" "+")
((((((triple7) -> (rule1 % int3)) triple7 triple9) -> (rule3 % int2)) triple10 triple9) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is not cold.
False
8
inv-proof
[(((((((triple7) -> rule1) triple7 triple9) -> rule3) triple10 triple9) -> rule5))]
("Harry" "is" "cold" "-")
((((((triple7) -> (rule1 % int3)) triple7 triple9) -> (rule3 % int2)) triple10 triple9) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Fred is not cold.
Unknown
inv-rconc
[@2: Fred is cold.[CWA. Example of deepest failure = (rule2 <- rule6 <- FAIL)]]
("Fred" "is" "cold" "-")
Gary is young.
Unknown
rconc
[@2: Gary is young.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("Gary" "is" "young" "+")
Gary is not cold.
Unknown
inv-rconc
[@2: Gary is cold.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Gary" "is" "cold" "-")
Bob is kind.
Unknown
rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "kind" "+")
Bob is not round.
Unknown
inv-random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
Fred is not big.
Unknown
inv-random
[@0: Fred is big.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "big" "-")
Fred is green.
Unknown
random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "+")
@0: Fred is blue.[(triple3)] Fred is red.[(triple2)] Fred is rough.[(triple1)] Gary is big.[(triple6)] Gary is blue.[(triple5)] Gary is kind.[(triple4)] Harry is big.[(triple11)] Harry is blue.[(triple10)] Harry is green.[(triple9)] Harry is nice.[(triple8)] Harry is rough.[(triple7)] @1: Fred is young.[(((triple1) -> rule1))] Harry is young.[(((triple7) -> rule1))] @2: Harry is red.[(((((triple7) -> rule1) triple7 triple9) -> rule3))] @3: Harry is cold.[(((((((triple7) -> rule1) triple7 triple9) -> rule3) triple10 triple9) -> rule5))]
Fred is blue.
("Fred" "is" "blue" "+")
triple3
Fred is red.
("Fred" "is" "red" "+")
triple2
Fred is rough.
("Fred" "is" "rough" "+")
triple1
Gary is big.
("Gary" "is" "big" "+")
triple6
Gary is blue.
("Gary" "is" "blue" "+")
triple5
Gary is kind.
("Gary" "is" "kind" "+")
triple4
Harry is big.
("Harry" "is" "big" "+")
triple11
Harry is blue.
("Harry" "is" "blue" "+")
triple10
Harry is green.
("Harry" "is" "green" "+")
triple9
Harry is nice.
("Harry" "is" "nice" "+")
triple8
Harry is rough.
("Harry" "is" "rough" "+")
triple7
Fred is young.
("Fred" "is" "young" "+")
((triple1) -> (rule1 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
((triple7) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
((((triple7) -> (rule1 % int2)) triple7 triple9) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
((((((triple7) -> (rule1 % int3)) triple7 triple9) -> (rule3 % int2)) triple10 triple9) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Fred fits the description of someone who is rough, red and blue.
Gary is so big, he is often blue, but always kind.
Even though Harry is big and rough, he is nice; Harry often is blue and green with envy.
People who are rough are young.
Red people who are also kind often turn out to be cold from standing outdoors too long.
Young and rough green people, have no choice but to be red.
Big people with round and somewhat red faces will have rough skin.
People that are red and blue and green at the same time have a reason to be cold.
Green eyed people are often nice, but when they are also round about the middle they are most certainly kind.