When you see Alan, you will notice he is cold, big and kind. Charlie is nice, even when he is rough and red with anger. Dave is young but big for his age and he's cold and red at the moment too. Fred wears all blue. When a young person has a round shape and feels blue, they will be green as well. A kind and big person is young. It's inevitable that young, green people are big. Interestingly, cold and rough people are kind. If a rather cold person is also kind then they are probably rough. Young people that are big in size, tend to be more on the blue side. People that are blue, cold, and big, are rather rough.
Alan is kind.
("Alan" "is" "kind" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Alan is big.
("Alan" "is" "big" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is big.
("Dave" "is" "big" "+")
Fred is blue.
("Fred" "is" "blue" "+")
If someone is blue and round and young then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If someone is big and kind then they are young.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is young and green then they are big.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and rough then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and kind then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is big and young then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and cold and big then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
Charlie is rough.
True
1
proof
[(triple4)]
("Charlie" "is" "rough" "+")
triple4
Dave is not young.
False
1
inv-proof
[(triple7)]
("Dave" "is" "young" "-")
triple7
Alan is rough.
True
3
proof
[(((triple2 triple1) -> rule5) OR ((((triple3 ((triple3 triple1) -> rule2)) -> rule6) triple2 triple3) -> rule7))]
("Alan" "is" "rough" "+")
((triple2 triple1) -> (rule5 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
((((triple3 ((triple3 triple1) -> (rule2 % int3))) -> (rule6 % int2)) triple2 triple3) -> (rule7 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is not young.
False
3
inv-proof
[(((triple3 triple1) -> rule2))]
("Alan" "is" "young" "-")
((triple3 triple1) -> (rule2 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is blue.
True
5
proof
[(((triple3 ((triple3 triple1) -> rule2)) -> rule6))]
("Alan" "is" "blue" "+")
((triple3 ((triple3 triple1) -> (rule2 % int2))) -> (rule6 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Dave is not rough.
False
6
inv-proof
[(((((triple10 triple7) -> rule6) triple9 triple10) -> rule7))]
("Dave" "is" "rough" "-")
((((triple10 triple7) -> (rule6 % int2)) triple9 triple10) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is kind.
True
8
proof
[(((triple9 ((((triple10 triple7) -> rule6) triple9 triple10) -> rule7)) -> rule4))]
("Dave" "is" "kind" "+")
((triple9 ((((triple10 triple7) -> (rule6 % int3)) triple9 triple10) -> (rule7 % int2))) -> (rule4 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is not kind.
False
8
inv-proof
[(((triple9 ((((triple10 triple7) -> rule6) triple9 triple10) -> rule7)) -> rule4))]
("Dave" "is" "kind" "-")
((triple9 ((((triple10 triple7) -> (rule6 % int3)) triple9 triple10) -> (rule7 % int2))) -> (rule4 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Fred is not green.
Unknown
inv-rconc
[@1: Fred is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "green" "-")
Charlie is kind.
Unknown
rconc
[@1: Charlie is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "kind" "+")
Dave is not green.
Unknown
inv-rconc
[@1: Dave is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "green" "-")
Fred is young.
Unknown
rconc
[@2: Fred is young.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Fred" "is" "young" "+")
Fred is not cold.
Unknown
inv-random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "-")
Fred is nice.
Unknown
random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "+")
Dave is not nice.
Unknown
inv-random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "-")
Alan is nice.
Unknown
random
[@0: Alan is nice.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "nice" "+")
@0: Alan is big.[(triple3)] Alan is cold.[(triple2)] Alan is kind.[(triple1)] Charlie is nice.[(triple6)] Charlie is red.[(triple5)] Charlie is rough.[(triple4)] Dave is big.[(triple10)] Dave is cold.[(triple9)] Dave is red.[(triple8)] Dave is young.[(triple7)] Fred is blue.[(triple11)] @1: Alan is rough.[(((triple2 triple1) -> rule5) OR ((((triple3 ((triple3 triple1) -> rule2)) -> rule6) triple2 triple3) -> rule7))] Alan is young.[(((triple3 triple1) -> rule2))] Dave is blue.[(((triple10 triple7) -> rule6))] @2: Alan is blue.[(((triple3 ((triple3 triple1) -> rule2)) -> rule6))] Dave is rough.[(((((triple10 triple7) -> rule6) triple9 triple10) -> rule7))] @3: Dave is kind.[(((triple9 ((((triple10 triple7) -> rule6) triple9 triple10) -> rule7)) -> rule4))]
Alan is big.
("Alan" "is" "big" "+")
triple3
Alan is cold.
("Alan" "is" "cold" "+")
triple2
Alan is kind.
("Alan" "is" "kind" "+")
triple1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple6
Charlie is red.
("Charlie" "is" "red" "+")
triple5
Charlie is rough.
("Charlie" "is" "rough" "+")
triple4
Dave is big.
("Dave" "is" "big" "+")
triple10
Dave is cold.
("Dave" "is" "cold" "+")
triple9
Dave is red.
("Dave" "is" "red" "+")
triple8
Dave is young.
("Dave" "is" "young" "+")
triple7
Fred is blue.
("Fred" "is" "blue" "+")
triple11
Alan is rough.
("Alan" "is" "rough" "+")
((triple2 triple1) -> (rule5 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
((((triple3 ((triple3 triple1) -> (rule2 % int3))) -> (rule6 % int2)) triple2 triple3) -> (rule7 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is young.
("Alan" "is" "young" "+")
((triple3 triple1) -> (rule2 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
((triple10 triple7) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
((triple3 ((triple3 triple1) -> (rule2 % int2))) -> (rule6 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
((((triple10 triple7) -> (rule6 % int2)) triple9 triple10) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
((triple9 ((((triple10 triple7) -> (rule6 % int3)) triple9 triple10) -> (rule7 % int2))) -> (rule4 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
When you see Alan, you will notice he is cold, big and kind.
Charlie is nice, even when he is rough and red with anger.
Dave is young but big for his age and he's cold and red at the moment too.
Fred wears all blue.
When a young person has a round shape and feels blue, they will be green as well.
A kind and big person is young.
It's inevitable that young, green people are big.
Interestingly, cold and rough people are kind.
If a rather cold person is also kind then they are probably rough.
Young people that are big in size, tend to be more on the blue side.
People that are blue, cold, and big, are rather rough.