Alan is so big and round, it's hard to tell he is red, green and blue all at once. Charlie, like all young people, is nice. They always call him rough Dave. Fred ate some rotten meat and now feels green. A cold and young aged person will be big for sure. Blue and red people are often rough. When someone is blue, lives green they can be rough but kind. If you meet someone who is red and blue with a round shape, you can count on them being nice to you. Cold and kind people tend to be blue. People that are green tend to be young. When you meet kind people they wont have a cold heart.
Alan is round.
("Alan" "is" "round" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Alan is big.
("Alan" "is" "big" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Fred is green.
("Fred" "is" "green" "+")
If someone is young and cold then they are big.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and red then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and rough and green then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and red and round then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and kind then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
If someone is green then they are young.
((("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is kind then they are cold.
((("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
Alan is red.
True
1
proof
[(triple2)]
("Alan" "is" "red" "+")
triple2
Fred is not green.
False
1
inv-proof
[(triple9)]
("Fred" "is" "green" "-")
triple9
Alan is young.
True
2
proof
[(((triple3) -> rule6))]
("Alan" "is" "young" "+")
((triple3) -> (rule6 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is not rough.
False
3
inv-proof
[(((triple4 triple2) -> rule2))]
("Alan" "is" "rough" "-")
((triple4 triple2) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is kind.
True
6
proof
[(((triple4 ((triple4 triple2) -> rule2) triple3) -> rule3))]
("Alan" "is" "kind" "+")
((triple4 ((triple4 triple2) -> (rule2 % int2)) triple3) -> (rule3 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is not kind.
False
6
inv-proof
[(((triple4 ((triple4 triple2) -> rule2) triple3) -> rule3))]
("Alan" "is" "kind" "-")
((triple4 ((triple4 triple2) -> (rule2 % int2)) triple3) -> (rule3 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is cold.
True
7
proof
[(((((triple4 ((triple4 triple2) -> rule2) triple3) -> rule3)) -> rule7))]
("Alan" "is" "cold" "+")
((((triple4 ((triple4 triple2) -> (rule2 % int3)) triple3) -> (rule3 % int2))) -> (rule7 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Alan is not cold.
False
7
inv-proof
[(((((triple4 ((triple4 triple2) -> rule2) triple3) -> rule3)) -> rule7))]
("Alan" "is" "cold" "-")
((((triple4 ((triple4 triple2) -> (rule2 % int3)) triple3) -> (rule3 % int2))) -> (rule7 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Fred is not big.
Unknown
inv-rconc
[@4: Fred is big.[CWA. Example of deepest failure = (rule1 <- rule7 <- rule3 <- rule5 <- FAIL)]]
("Fred" "is" "big" "-")
Charlie is rough.
Unknown
rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "rough" "+")
Dave is not young.
Unknown
inv-rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Dave" "is" "young" "-")
Charlie is kind.
Unknown
rconc
[@1: Charlie is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "kind" "+")
Charlie is not green.
Unknown
inv-random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
Dave is not round.
Unknown
inv-random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
@0: Alan is big.[(triple5 OR ((((triple3) -> rule6) ((((triple4 ((triple4 triple2) -> rule2) triple3) -> rule3)) -> rule7)) -> rule1))] Alan is blue.[(triple4)] Alan is green.[(triple3)] Alan is red.[(triple2)] Alan is round.[(triple1)] Charlie is nice.[(triple7)] Charlie is young.[(triple6)] Dave is rough.[(triple8)] Fred is green.[(triple9)] @1: Alan is nice.[(((triple4 triple2 triple1) -> rule4))] Alan is rough.[(((triple4 triple2) -> rule2))] Alan is young.[(((triple3) -> rule6))] Fred is young.[(((triple9) -> rule6))] @2: Alan is kind.[(((triple4 ((triple4 triple2) -> rule2) triple3) -> rule3))] @3: Alan is cold.[(((((triple4 ((triple4 triple2) -> rule2) triple3) -> rule3)) -> rule7))]
Alan is big.
("Alan" "is" "big" "+")
triple5
((((triple3) -> (rule6 % int5)) ((((triple4 ((triple4 triple2) -> (rule2 % int4)) triple3) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is rough.
("Alan" "is" "rough" "+")
int4
Alan is young.
("Alan" "is" "young" "+")
int5
Alan is blue.
("Alan" "is" "blue" "+")
triple4
Alan is green.
("Alan" "is" "green" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple7
Charlie is young.
("Charlie" "is" "young" "+")
triple6
Dave is rough.
("Dave" "is" "rough" "+")
triple8
Fred is green.
("Fred" "is" "green" "+")
triple9
Alan is nice.
("Alan" "is" "nice" "+")
((triple4 triple2 triple1) -> (rule4 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
((triple4 triple2) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
((triple3) -> (rule6 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
((triple9) -> (rule6 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
((triple4 ((triple4 triple2) -> (rule2 % int2)) triple3) -> (rule3 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
((((triple4 ((triple4 triple2) -> (rule2 % int3)) triple3) -> (rule3 % int2))) -> (rule7 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Alan is so big and round, it's hard to tell he is red, green and blue all at once.
Charlie, like all young people, is nice.
They always call him rough Dave.
Fred ate some rotten meat and now feels green.
A cold and young aged person will be big for sure.
Blue and red people are often rough.
When someone is blue, lives green they can be rough but kind.
If you meet someone who is red and blue with a round shape, you can count on them being nice to you.
Cold and kind people tend to be blue.
People that are green tend to be young.
When you meet kind people they wont have a cold heart.