Alan is a young, round, and rough person who is red with goosebumps because he is cold/. Although Bob is seen as nice and round, his days of playing football have made him quite rough. Dave always goes out of his way to show that he is kind to people. When you see Fred, you will notice he is cold, big and kind. A big, kind someone could also be cold in a green dress. Color anybody red and blue, then make them rough, and they will surely be round. A person wearing blue clothes and feeling cold very frequently because of their large round body will have green skin. Big,cold,kind people tend to be red in color to others. A cold, red, kind soul will also prove to be nice. Anyone that's described as young, kind and blue can be said to be cold, too. People who are nice and kind are somewhat young.
Alan is young.
("Alan" "is" "young" "+")
Alan is round.
("Alan" "is" "round" "+")
Alan is rough.
("Alan" "is" "rough" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is big.
("Fred" "is" "big" "+")
If someone is big and kind and cold then they are green.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and rough and red then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and blue and round then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and big and cold then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and cold and red then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and blue and kind then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and nice then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
Alan is rough.
True
1
proof
[(triple3)]
("Alan" "is" "rough" "+")
triple3
Alan is not rough.
False
1
inv-proof
[(triple3)]
("Alan" "is" "rough" "-")
triple3
Fred is red.
True
4
proof
[(((triple10 triple12 triple11) -> rule4))]
("Fred" "is" "red" "+")
((triple10 triple12 triple11) -> (rule4 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is not green.
False
4
inv-proof
[(((triple12 triple10 triple11) -> rule1))]
("Fred" "is" "green" "-")
((triple12 triple10 triple11) -> (rule1 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is nice.
True
7
proof
[(((triple10 triple11 ((triple10 triple12 triple11) -> rule4)) -> rule5))]
("Fred" "is" "nice" "+")
((triple10 triple11 ((triple10 triple12 triple11) -> (rule4 % int2))) -> (rule5 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is not nice.
False
7
inv-proof
[(((triple10 triple11 ((triple10 triple12 triple11) -> rule4)) -> rule5))]
("Fred" "is" "nice" "-")
((triple10 triple11 ((triple10 triple12 triple11) -> (rule4 % int2))) -> (rule5 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is young.
True
9
proof
[(((triple10 ((triple10 triple11 ((triple10 triple12 triple11) -> rule4)) -> rule5)) -> rule7))]
("Fred" "is" "young" "+")
((triple10 ((triple10 triple11 ((triple10 triple12 triple11) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is not young.
False
9
inv-proof
[(((triple10 ((triple10 triple11 ((triple10 triple12 triple11) -> rule4)) -> rule5)) -> rule7))]
("Fred" "is" "young" "-")
((triple10 ((triple10 triple11 ((triple10 triple12 triple11) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Bob is not green.
Unknown
inv-rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "green" "-")
Dave is red.
Unknown
rconc
[@1: Dave is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "red" "+")
Bob is not young.
Unknown
inv-rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Bob" "is" "young" "-")
Bob is cold.
Unknown
rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "cold" "+")
Bob is not big.
Unknown
inv-random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "-")
Dave is blue.
Unknown
random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "+")
Dave is not big.
Unknown
inv-random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "-")
Fred is rough.
Unknown
random
[@0: Fred is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "rough" "+")
@0: Alan is cold.[(triple5)] Alan is red.[(triple4)] Alan is rough.[(triple3)] Alan is round.[(triple2)] Alan is young.[(triple1)] Bob is nice.[(triple8)] Bob is rough.[(triple7)] Bob is round.[(triple6)] Dave is kind.[(triple9)] Fred is big.[(triple12)] Fred is cold.[(triple11)] Fred is kind.[(triple10)] @1: Fred is green.[(((triple12 triple10 triple11) -> rule1))] Fred is red.[(((triple10 triple12 triple11) -> rule4))] @2: Fred is nice.[(((triple10 triple11 ((triple10 triple12 triple11) -> rule4)) -> rule5))] @3: Fred is young.[(((triple10 ((triple10 triple11 ((triple10 triple12 triple11) -> rule4)) -> rule5)) -> rule7))]
Alan is cold.
("Alan" "is" "cold" "+")
triple5
Alan is red.
("Alan" "is" "red" "+")
triple4
Alan is rough.
("Alan" "is" "rough" "+")
triple3
Alan is round.
("Alan" "is" "round" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is nice.
("Bob" "is" "nice" "+")
triple8
Bob is rough.
("Bob" "is" "rough" "+")
triple7
Bob is round.
("Bob" "is" "round" "+")
triple6
Dave is kind.
("Dave" "is" "kind" "+")
triple9
Fred is big.
("Fred" "is" "big" "+")
triple12
Fred is cold.
("Fred" "is" "cold" "+")
triple11
Fred is kind.
("Fred" "is" "kind" "+")
triple10
Fred is green.
("Fred" "is" "green" "+")
((triple12 triple10 triple11) -> (rule1 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
((triple10 triple12 triple11) -> (rule4 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
((triple10 triple11 ((triple10 triple12 triple11) -> (rule4 % int2))) -> (rule5 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
((triple10 ((triple10 triple11 ((triple10 triple12 triple11) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Alan is a young, round, and rough person who is red with goosebumps because he is cold/.
Although Bob is seen as nice and round, his days of playing football have made him quite rough.
Dave always goes out of his way to show that he is kind to people.
When you see Fred, you will notice he is cold, big and kind.
A big, kind someone could also be cold in a green dress.
Color anybody red and blue, then make them rough, and they will surely be round.
A person wearing blue clothes and feeling cold very frequently because of their large round body will have green skin.
Big,cold,kind people tend to be red in color to others.
A cold, red, kind soul will also prove to be nice.
Anyone that's described as young, kind and blue can be said to be cold, too.
People who are nice and kind are somewhat young.