Alan is a young kid who is a bit rough and on the big side. He can be kind to some and lives a green lifestyle. Young Dave is wearing green pants. Big, red Eric is quite kind. Upon meeting Harry, you'll notice he's green and kind. A kind and green person who is rough around the edges is cold. A person described as cold and kind can also be described as nice. Someone being both nice and kind means that they are a big person. A person with a round body will be feeling very cold and will be rough to handle. Young people that are red for any reason, may also act in a rough manner, but don't be surprised if they are ultimately blue. A cold natured but kind person will certainly be red.
Alan is young.
("Alan" "is" "young" "+")
Alan is rough.
("Alan" "is" "rough" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is big.
("Alan" "is" "big" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is green.
("Dave" "is" "green" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is big.
("Eric" "is" "big" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is green and rough and kind then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and kind then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and kind then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and round then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is red and young and rough then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and kind then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
Harry is kind.
True
1
proof
[(triple11)]
("Harry" "is" "kind" "+")
triple11
Alan is not rough.
False
1
inv-proof
[(triple2)]
("Alan" "is" "rough" "-")
triple2
Alan is cold.
True
4
proof
[(((triple4 triple2 triple3) -> rule1))]
("Alan" "is" "cold" "+")
((triple4 triple2 triple3) -> (rule1 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is not cold.
False
4
inv-proof
[(((triple4 triple2 triple3) -> rule1))]
("Alan" "is" "cold" "-")
((triple4 triple2 triple3) -> (rule1 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is nice.
True
6
proof
[(((((triple4 triple2 triple3) -> rule1) triple3) -> rule2))]
("Alan" "is" "nice" "+")
((((triple4 triple2 triple3) -> (rule1 % int2)) triple3) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is not red.
False
6
inv-proof
[(((((triple4 triple2 triple3) -> rule1) triple3) -> rule6))]
("Alan" "is" "red" "-")
((((triple4 triple2 triple3) -> (rule1 % int2)) triple3) -> (rule6 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is blue.
True
9
proof
[(((((((triple4 triple2 triple3) -> rule1) triple3) -> rule6) triple1 triple2) -> rule5))]
("Alan" "is" "blue" "+")
((((((triple4 triple2 triple3) -> (rule1 % int3)) triple3) -> (rule6 % int2)) triple1 triple2) -> (rule5 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is not blue.
False
9
inv-proof
[(((((((triple4 triple2 triple3) -> rule1) triple3) -> rule6) triple1 triple2) -> rule5))]
("Alan" "is" "blue" "-")
((((((triple4 triple2 triple3) -> (rule1 % int3)) triple3) -> (rule6 % int2)) triple1 triple2) -> (rule5 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Eric is not blue.
Unknown
inv-rconc
[@1: Eric is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "blue" "-")
Dave is nice.
Unknown
rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "nice" "+")
Dave is not big.
Unknown
inv-rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "big" "-")
Dave is rough.
Unknown
rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "rough" "+")
Alan is not round.
Unknown
inv-random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "-")
Eric is green.
Unknown
random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "+")
Dave is not kind.
Unknown
inv-random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "-")
Eric is round.
Unknown
random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "+")
@0: Alan is big.[(triple5 OR ((((((triple4 triple2 triple3) -> rule1) triple3) -> rule2) triple3) -> rule3))] Alan is green.[(triple4)] Alan is kind.[(triple3)] Alan is rough.[(triple2)] Alan is young.[(triple1)] Dave is green.[(triple7)] Dave is young.[(triple6)] Eric is big.[(triple10)] Eric is kind.[(triple9)] Eric is red.[(triple8)] Harry is green.[(triple12)] Harry is kind.[(triple11)] @1: Alan is cold.[(((triple4 triple2 triple3) -> rule1))] @2: Alan is nice.[(((((triple4 triple2 triple3) -> rule1) triple3) -> rule2))] Alan is red.[(((((triple4 triple2 triple3) -> rule1) triple3) -> rule6))] @3: Alan is blue.[(((((((triple4 triple2 triple3) -> rule1) triple3) -> rule6) triple1 triple2) -> rule5))]
Alan is big.
("Alan" "is" "big" "+")
triple5
((((((triple4 triple2 triple3) -> (rule1 % int3)) triple3) -> (rule2 % int2)) triple3) -> (rule3 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is green.
("Alan" "is" "green" "+")
triple4
Alan is kind.
("Alan" "is" "kind" "+")
triple3
Alan is rough.
("Alan" "is" "rough" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple7
Dave is young.
("Dave" "is" "young" "+")
triple6
Eric is big.
("Eric" "is" "big" "+")
triple10
Eric is kind.
("Eric" "is" "kind" "+")
triple9
Eric is red.
("Eric" "is" "red" "+")
triple8
Harry is green.
("Harry" "is" "green" "+")
triple12
Harry is kind.
("Harry" "is" "kind" "+")
triple11
Alan is cold.
("Alan" "is" "cold" "+")
((triple4 triple2 triple3) -> (rule1 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
((((triple4 triple2 triple3) -> (rule1 % int2)) triple3) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
((((triple4 triple2 triple3) -> (rule1 % int2)) triple3) -> (rule6 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
((((((triple4 triple2 triple3) -> (rule1 % int3)) triple3) -> (rule6 % int2)) triple1 triple2) -> (rule5 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is a young kid who is a bit rough and on the big side; He can be kind to some and lives a green lifestyle.
Young Dave is wearing green pants.
Big, red Eric is quite kind.
Upon meeting Harry, you'll notice he's green and kind.
A kind and green person who is rough around the edges is cold.
A person described as cold and kind can also be described as nice.
Someone being both nice and kind means that they are a big person.
A person with a round body will be feeling very cold and will be rough to handle.
Young people that are red for any reason, may also act in a rough manner, but don't be surprised if they are ultimately blue.
A cold natured but kind person will certainly be red.