To be young and red like Alan is pretty nice, which Green Alan is also. Charlie loves cake which has made him quite round. Because he has been made fun of for quite some time, he has turned rough and cold towards others. Eric's cold expression hid how nice he was. He was constantly blue about it though which was rough. He was noticeably round too. A big person who looks blue is also going to look young. Kind big people are green and young. A rough and round person is also a big person. A kind person who is green is usually round. Anyone who's got young, round and big traits is bound to have a red trait, too.
Alan is young.
("Alan" "is" "young" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is green.
("Alan" "is" "green" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is blue.
("Eric" "is" "blue" "+")
If someone is blue and big then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is kind and green and big then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is round and rough then they are big.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is kind and green then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is young and big and round then they are red.
((("someone" "is" "young" "+") ("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
Alan is green.
True
1
proof
[(triple4)]
("Alan" "is" "green" "+")
triple4
Eric is not cold.
False
1
inv-proof
[(triple11)]
("Eric" "is" "cold" "-")
triple11
Charlie is big.
True
3
proof
[(((triple5 triple6) -> rule3))]
("Charlie" "is" "big" "+")
((triple5 triple6) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is not big.
False
3
inv-proof
[(((triple5 triple6) -> rule3))]
("Charlie" "is" "big" "-")
((triple5 triple6) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Eric is young.
True
5
proof
[(((triple12 ((triple8 triple9) -> rule3)) -> rule1))]
("Eric" "is" "young" "+")
((triple12 ((triple8 triple9) -> (rule3 % int2))) -> (rule1 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is not young.
False
5
inv-proof
[(((triple12 ((triple8 triple9) -> rule3)) -> rule1))]
("Eric" "is" "young" "-")
((triple12 ((triple8 triple9) -> (rule3 % int2))) -> (rule1 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is red.
True
10
proof
[(((((triple12 ((triple8 triple9) -> rule3)) -> rule1) ((triple8 triple9) -> rule3) triple8) -> rule5))]
("Eric" "is" "red" "+")
((((triple12 ((triple8 triple9) -> (rule3 % int3))) -> (rule1 % int2)) ((triple8 triple9) -> (rule3 % int3)) triple8) -> (rule5 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Eric is not red.
False
10
inv-proof
[(((((triple12 ((triple8 triple9) -> rule3)) -> rule1) ((triple8 triple9) -> rule3) triple8) -> rule5))]
("Eric" "is" "red" "-")
((((triple12 ((triple8 triple9) -> (rule3 % int3))) -> (rule1 % int2)) ((triple8 triple9) -> (rule3 % int3)) triple8) -> (rule5 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Harry is not red.
Unknown
inv-rconc
[@2: Harry is red.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Harry" "is" "red" "-")
Charlie is red.
Unknown
rconc
[@2: Charlie is red.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Charlie" "is" "red" "+")
Charlie is not young.
Unknown
inv-rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "young" "-")
Harry is young.
Unknown
rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "young" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
Charlie is not nice.
Unknown
inv-random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "-")
Alan is rough.
Unknown
random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "+")
@0: Alan is green.[(triple4)] Alan is nice.[(triple3)] Alan is red.[(triple2)] Alan is young.[(triple1)] Charlie is cold.[(triple7)] Charlie is rough.[(triple6)] Charlie is round.[(triple5)] Eric is blue.[(triple12)] Eric is cold.[(triple11)] Eric is nice.[(triple10)] Eric is rough.[(triple9)] Eric is round.[(triple8)] @1: Charlie is big.[(((triple5 triple6) -> rule3))] Eric is big.[(((triple8 triple9) -> rule3))] @2: Eric is young.[(((triple12 ((triple8 triple9) -> rule3)) -> rule1))] @3: Eric is red.[(((((triple12 ((triple8 triple9) -> rule3)) -> rule1) ((triple8 triple9) -> rule3) triple8) -> rule5))]
Alan is green.
("Alan" "is" "green" "+")
triple4
Alan is nice.
("Alan" "is" "nice" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple7
Charlie is rough.
("Charlie" "is" "rough" "+")
triple6
Charlie is round.
("Charlie" "is" "round" "+")
triple5
Eric is blue.
("Eric" "is" "blue" "+")
triple12
Eric is cold.
("Eric" "is" "cold" "+")
triple11
Eric is nice.
("Eric" "is" "nice" "+")
triple10
Eric is rough.
("Eric" "is" "rough" "+")
triple9
Eric is round.
("Eric" "is" "round" "+")
triple8
Charlie is big.
("Charlie" "is" "big" "+")
((triple5 triple6) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
((triple8 triple9) -> (rule3 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
((triple12 ((triple8 triple9) -> (rule3 % int2))) -> (rule1 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
((((triple12 ((triple8 triple9) -> (rule3 % int3))) -> (rule1 % int2)) ((triple8 triple9) -> (rule3 % int3)) triple8) -> (rule5 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
To be young and red like Alan is pretty nice, which Green Alan is also.
Charlie loves cake which has made him quite round; Because he has been made fun of for quite some time, he has turned rough and cold towards others.
Eric's cold expression hid how nice he was; He was constantly blue about it though which was rough; He was noticeably round too.
A big person who looks blue is also going to look young.
Kind big people are green and young.
A rough and round person is also a big person.
A kind person who is green is usually round.
Anyone who's got young, round and big traits is bound to have a red trait, too.