Alan is a young, cold guy, but he's also a nice and kind guy who can be rough. Upon meeting Charlie, you'll notice he's green and kind. If you met Fred you will see that he is round and red, but he is cold. Harry gets red when he is mad and tends to act very cold. A big person who also feels blue and a bit green are usually wearing red. You will probably see that red, round people are nice, as well as green. A person who is green and rough and round is also young. A person who is green and kind is usually rather big. You will find most green,cold and blue people to be rough. Someone who is big and kind is blue.
If someone is big and blue and green then they are red.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is round and red and nice then they are green.
((("someone" "is" "round" "+") ("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is round and rough and green then they are young.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is green and kind then they are big.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is green and cold and blue then they are rough.
((("someone" "is" "green" "+") ("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and big then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
Harry is cold.
True
1
proof
[(triple12)]
("Harry" "is" "cold" "+")
triple12
Alan is not young.
False
1
inv-proof
[(triple1)]
("Alan" "is" "young" "-")
triple1
Charlie is big.
True
3
proof
[(((triple7 triple6) -> rule4))]
("Charlie" "is" "big" "+")
((triple7 triple6) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is not big.
False
3
inv-proof
[(((triple7 triple6) -> rule4))]
("Charlie" "is" "big" "-")
((triple7 triple6) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
True
5
proof
[(((triple6 ((triple7 triple6) -> rule4)) -> rule6))]
("Charlie" "is" "blue" "+")
((triple6 ((triple7 triple6) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is not blue.
False
5
inv-proof
[(((triple6 ((triple7 triple6) -> rule4)) -> rule6))]
("Charlie" "is" "blue" "-")
((triple6 ((triple7 triple6) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is red.
True
10
proof
[(((((triple7 triple6) -> rule4) ((triple6 ((triple7 triple6) -> rule4)) -> rule6) triple7) -> rule1))]
("Charlie" "is" "red" "+")
((((triple7 triple6) -> (rule4 % int3)) ((triple6 ((triple7 triple6) -> (rule4 % int3))) -> (rule6 % int2)) triple7) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is not red.
False
10
inv-proof
[(((((triple7 triple6) -> rule4) ((triple6 ((triple7 triple6) -> rule4)) -> rule6) triple7) -> rule1))]
("Charlie" "is" "red" "-")
((((triple7 triple6) -> (rule4 % int3)) ((triple6 ((triple7 triple6) -> (rule4 % int3))) -> (rule6 % int2)) triple7) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Harry is not young.
Unknown
inv-rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "young" "-")
Alan is big.
Unknown
rconc
[@2: Alan is big.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("Alan" "is" "big" "+")
Harry is not green.
Unknown
inv-rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "green" "-")
Alan is green.
Unknown
rconc
[@1: Alan is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "green" "+")
Alan is not round.
Unknown
inv-random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
Harry is not nice.
Unknown
inv-random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
@0: Alan is cold.[(triple5)] Alan is kind.[(triple4)] Alan is nice.[(triple3)] Alan is rough.[(triple2)] Alan is young.[(triple1)] Charlie is green.[(triple7)] Charlie is kind.[(triple6)] Fred is cold.[(triple10)] Fred is red.[(triple9)] Fred is round.[(triple8)] Harry is cold.[(triple12)] Harry is red.[(triple11)] @1: Charlie is big.[(((triple7 triple6) -> rule4))] @2: Charlie is blue.[(((triple6 ((triple7 triple6) -> rule4)) -> rule6))] @3: Charlie is red.[(((((triple7 triple6) -> rule4) ((triple6 ((triple7 triple6) -> rule4)) -> rule6) triple7) -> rule1))]
Alan is cold.
("Alan" "is" "cold" "+")
triple5
Alan is kind.
("Alan" "is" "kind" "+")
triple4
Alan is nice.
("Alan" "is" "nice" "+")
triple3
Alan is rough.
("Alan" "is" "rough" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple7
Charlie is kind.
("Charlie" "is" "kind" "+")
triple6
Fred is cold.
("Fred" "is" "cold" "+")
triple10
Fred is red.
("Fred" "is" "red" "+")
triple9
Fred is round.
("Fred" "is" "round" "+")
triple8
Harry is cold.
("Harry" "is" "cold" "+")
triple12
Harry is red.
("Harry" "is" "red" "+")
triple11
Charlie is big.
("Charlie" "is" "big" "+")
((triple7 triple6) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple6 ((triple7 triple6) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
((((triple7 triple6) -> (rule4 % int3)) ((triple6 ((triple7 triple6) -> (rule4 % int3))) -> (rule6 % int2)) triple7) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Alan is a young, cold guy, but he's also a nice and kind guy who can be rough.
Upon meeting Charlie, you'll notice he's green and kind.
If you met Fred you will see that he is round and red, but he is cold.
Harry gets red when he is mad and tends to act very cold.
A big person who also feels blue and a bit green are usually wearing red.
You will probably see that red, round people are nice, as well as green.
A person who is green and rough and round is also young.
A person who is green and kind is usually rather big.
You will find most green,cold and blue people to be rough.
Someone who is big and kind is blue.