That Bob is a round, rough fellow, and he's nice, as well as big. Charlie was born only a few years ago so he is young. Fred, who is young, round, red, and blue, is also quite big in size. Harry always goes out of his way to show that he is kind to people. Though they were big and nice, they simultaneously were rough and aloof and seemed cold to others. Watch out for the rough and round kind people for they cold to others. A young person with a kind heart and big sized body will be rough around the edges. A young someone is red in thought but green in ideas. People that are green tend to be young. Red people who are green and blue are always kind. Those who are round and cold are young.
Bob is round.
("Bob" "is" "round" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is big.
("Bob" "is" "big" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Fred is big.
("Fred" "is" "big" "+")
Harry is kind.
("Harry" "is" "kind" "+")
If someone is rough and big and nice then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and round and kind then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is young and kind and big then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is red and young then they are green.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If someone is green then they are young.
((("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is red and blue and green then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and round then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
Charlie is young.
True
1
proof
[(triple5)]
("Charlie" "is" "young" "+")
triple5
Fred is not red.
False
1
inv-proof
[(triple8)]
("Fred" "is" "red" "-")
triple8
Fred is green.
True
3
proof
[(((triple8 triple6) -> rule4))]
("Fred" "is" "green" "+")
((triple8 triple6) -> (rule4 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is not green.
False
3
inv-proof
[(((triple8 triple6) -> rule4))]
("Fred" "is" "green" "-")
((triple8 triple6) -> (rule4 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Bob is young.
True
6
proof
[(((((triple2 triple4 triple3) -> rule1) triple1) -> rule7))]
("Bob" "is" "young" "+")
((((triple2 triple4 triple3) -> (rule1 % int2)) triple1) -> (rule7 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is not young.
False
6
inv-proof
[(((((triple2 triple4 triple3) -> rule1) triple1) -> rule7))]
("Bob" "is" "young" "-")
((((triple2 triple4 triple3) -> (rule1 % int2)) triple1) -> (rule7 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Fred is rough.
True
9
proof
[(((triple6 ((triple8 triple9 ((triple8 triple6) -> rule4)) -> rule6) triple10) -> rule3))]
("Fred" "is" "rough" "+")
((triple6 ((triple8 triple9 ((triple8 triple6) -> (rule4 % int3))) -> (rule6 % int2)) triple10) -> (rule3 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
Fred is not rough.
False
9
inv-proof
[(((triple6 ((triple8 triple9 ((triple8 triple6) -> rule4)) -> rule6) triple10) -> rule3))]
("Fred" "is" "rough" "-")
((triple6 ((triple8 triple9 ((triple8 triple6) -> (rule4 % int3))) -> (rule6 % int2)) triple10) -> (rule3 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
Fred is cold.
True
17
proof
[(((((triple6 ((triple8 triple9 ((triple8 triple6) -> rule4)) -> rule6) triple10) -> rule3) triple7 ((triple8 triple9 ((triple8 triple6) -> rule4)) -> rule6)) -> rule2))]
("Fred" "is" "cold" "+")
((((triple6 ((triple8 triple9 ((triple8 triple6) -> (rule4 % int4))) -> (rule6 % int3)) triple10) -> (rule3 % int2)) triple7 ((triple8 triple9 ((triple8 triple6) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule2 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Fred is green.
("Fred" "is" "green" "+")
int4
Fred is not cold.
False
17
inv-proof
[(((((triple6 ((triple8 triple9 ((triple8 triple6) -> rule4)) -> rule6) triple10) -> rule3) triple7 ((triple8 triple9 ((triple8 triple6) -> rule4)) -> rule6)) -> rule2))]
("Fred" "is" "cold" "-")
((((triple6 ((triple8 triple9 ((triple8 triple6) -> (rule4 % int4))) -> (rule6 % int3)) triple10) -> (rule3 % int2)) triple7 ((triple8 triple9 ((triple8 triple6) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule2 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Fred is green.
("Fred" "is" "green" "+")
int4
Charlie is not kind.
Unknown
inv-rconc
[@1: Charlie is kind.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "kind" "-")
Harry is green.
Unknown
rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "green" "+")
Charlie is not cold.
Unknown
inv-rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "cold" "-")
Harry is cold.
Unknown
rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "cold" "+")
Charlie is not green.
Unknown
inv-rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "green" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
Bob is not blue.
Unknown
inv-random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
Charlie is not blue.
Unknown
inv-random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "-")
Fred is nice.
Unknown
random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "+")
@0: Bob is big.[(triple4)] Bob is nice.[(triple3)] Bob is rough.[(triple2)] Bob is round.[(triple1)] Charlie is young.[(triple5)] Fred is big.[(triple10)] Fred is blue.[(triple9)] Fred is red.[(triple8)] Fred is round.[(triple7)] Fred is young.[(triple6)] Harry is kind.[(triple11)] @1: Bob is cold.[(((triple2 triple4 triple3) -> rule1))] Fred is green.[(((triple8 triple6) -> rule4))] @2: Bob is young.[(((((triple2 triple4 triple3) -> rule1) triple1) -> rule7))] Fred is kind.[(((triple8 triple9 ((triple8 triple6) -> rule4)) -> rule6))] @3: Fred is rough.[(((triple6 ((triple8 triple9 ((triple8 triple6) -> rule4)) -> rule6) triple10) -> rule3))] @4: Fred is cold.[(((((triple6 ((triple8 triple9 ((triple8 triple6) -> rule4)) -> rule6) triple10) -> rule3) triple7 ((triple8 triple9 ((triple8 triple6) -> rule4)) -> rule6)) -> rule2))]
Bob is big.
("Bob" "is" "big" "+")
triple4
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
Charlie is young.
("Charlie" "is" "young" "+")
triple5
Fred is big.
("Fred" "is" "big" "+")
triple10
Fred is blue.
("Fred" "is" "blue" "+")
triple9
Fred is red.
("Fred" "is" "red" "+")
triple8
Fred is round.
("Fred" "is" "round" "+")
triple7
Fred is young.
("Fred" "is" "young" "+")
triple6
Harry is kind.
("Harry" "is" "kind" "+")
triple11
Bob is cold.
("Bob" "is" "cold" "+")
((triple2 triple4 triple3) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
((triple8 triple6) -> (rule4 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
((((triple2 triple4 triple3) -> (rule1 % int2)) triple1) -> (rule7 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
((triple8 triple9 ((triple8 triple6) -> (rule4 % int2))) -> (rule6 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
((triple6 ((triple8 triple9 ((triple8 triple6) -> (rule4 % int3))) -> (rule6 % int2)) triple10) -> (rule3 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
Fred is cold.
("Fred" "is" "cold" "+")
((((triple6 ((triple8 triple9 ((triple8 triple6) -> (rule4 % int4))) -> (rule6 % int3)) triple10) -> (rule3 % int2)) triple7 ((triple8 triple9 ((triple8 triple6) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule2 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Fred is green.
("Fred" "is" "green" "+")
int4
That Bob is a round, rough fellow, and he's nice, as well as big.
Charlie was born only a few years ago so he is young.
Fred, who is young, round, red, and blue, is also quite big in size.
Harry always goes out of his way to show that he is kind to people.
Though they were big and nice, they simultaneously were rough and aloof and seemed cold to others.
Watch out for the rough and round kind people for they cold to others.
A young person with a kind heart and big sized body will be rough around the edges.
A young someone is red in thought but green in ideas.
People that are green tend to be young.
Red people who are green and blue are always kind.
Those who are round and cold are young.