Others enjoy Alan's company because he is so nice and kind. Bob is man who is rough, red, nice, kind, and also green. Fred was born only a few years ago so he is young. Harry had big, red, round cheeks. Big and cold people tend to see red and dont live green lifestyle. A person that is both green and red tends to be cold as well. Young people who rough around in the cold are known to be very red. A round shaped and young aged person will be very cold. Someone who is not kind, will see red and be cold, which leads them to always feel blue. A person that is blue green and nice are that way because they are still young. Rough young folks are surprisingly kind.
Alan is nice.
("Alan" "is" "nice" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is green.
("Bob" "is" "green" "+")
Fred is young.
("Fred" "is" "young" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is red and big and cold then they are green.
((("someone" "is" "red" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is green and red then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and young and cold then they are red.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is round and young then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and red and cold then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and green and nice then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If someone is young and rough then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
Bob is nice.
True
1
proof
[(triple5)]
("Bob" "is" "nice" "+")
triple5
Harry is not red.
False
1
inv-proof
[(triple10)]
("Harry" "is" "red" "-")
triple10
Bob is cold.
True
3
proof
[(((triple7 triple4) -> rule2))]
("Bob" "is" "cold" "+")
((triple7 triple4) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is not cold.
False
3
inv-proof
[(((triple7 triple4) -> rule2))]
("Bob" "is" "cold" "-")
((triple7 triple4) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is blue.
True
6
proof
[(((triple6 triple4 ((triple7 triple4) -> rule2)) -> rule5))]
("Bob" "is" "blue" "+")
((triple6 triple4 ((triple7 triple4) -> (rule2 % int2))) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is not blue.
False
6
inv-proof
[(((triple6 triple4 ((triple7 triple4) -> rule2)) -> rule5))]
("Bob" "is" "blue" "-")
((triple6 triple4 ((triple7 triple4) -> (rule2 % int2))) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is young.
True
9
proof
[(((((triple6 triple4 ((triple7 triple4) -> rule2)) -> rule5) triple7 triple5) -> rule6))]
("Bob" "is" "young" "+")
((((triple6 triple4 ((triple7 triple4) -> (rule2 % int3))) -> (rule5 % int2)) triple7 triple5) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is not young.
False
9
inv-proof
[(((((triple6 triple4 ((triple7 triple4) -> rule2)) -> rule5) triple7 triple5) -> rule6))]
("Bob" "is" "young" "-")
((((triple6 triple4 ((triple7 triple4) -> (rule2 % int3))) -> (rule5 % int2)) triple7 triple5) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Harry is not young.
Unknown
inv-rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "young" "-")
Alan is red.
Unknown
rconc
[@1: Alan is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "red" "+")
Fred is not cold.
Unknown
inv-rconc
[@2: Fred is cold.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Fred" "is" "cold" "-")
Fred is kind.
Unknown
rconc
[@1: Fred is kind.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Fred" "is" "kind" "+")
Alan is not rough.
Unknown
inv-random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
Fred is not round.
Unknown
inv-random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
@0: Alan is kind.[(triple2)] Alan is nice.[(triple1)] Bob is green.[(triple7)] Bob is kind.[(triple6)] Bob is nice.[(triple5)] Bob is red.[(triple4)] Bob is rough.[(triple3)] Fred is young.[(triple8)] Harry is big.[(triple11)] Harry is red.[(triple10)] Harry is round.[(triple9)] @1: Bob is cold.[(((triple7 triple4) -> rule2))] @2: Bob is blue.[(((triple6 triple4 ((triple7 triple4) -> rule2)) -> rule5))] @3: Bob is young.[(((((triple6 triple4 ((triple7 triple4) -> rule2)) -> rule5) triple7 triple5) -> rule6))]
Alan is kind.
("Alan" "is" "kind" "+")
triple2
Alan is nice.
("Alan" "is" "nice" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple7
Bob is kind.
("Bob" "is" "kind" "+")
triple6
Bob is nice.
("Bob" "is" "nice" "+")
triple5
Bob is red.
("Bob" "is" "red" "+")
triple4
Bob is rough.
("Bob" "is" "rough" "+")
triple3
Fred is young.
("Fred" "is" "young" "+")
triple8
Harry is big.
("Harry" "is" "big" "+")
triple11
Harry is red.
("Harry" "is" "red" "+")
triple10
Harry is round.
("Harry" "is" "round" "+")
triple9
Bob is cold.
("Bob" "is" "cold" "+")
((triple7 triple4) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
((triple6 triple4 ((triple7 triple4) -> (rule2 % int2))) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
((((triple6 triple4 ((triple7 triple4) -> (rule2 % int3))) -> (rule5 % int2)) triple7 triple5) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Others enjoy Alan's company because he is so nice and kind.
Bob is man who is rough, red, nice, kind, and also green.
Fred was born only a few years ago so he is young.
Harry had big, red, round cheeks.
Big and cold people tend to see red and dont live green lifestyle.
A person that is both green and red tends to be cold as well.
Young people who rough around in the cold are known to be very red.
A round shaped and young aged person will be very cold.
Someone who is not kind, will see red and be cold, which leads them to always feel blue.
A person that is blue green and nice are that way because they are still young.
Rough young folks are surprisingly kind.