Upon meeting Alan, you'll notice he's green and kind. They always call him rough Bob. Eric is young and kind.  But he plays really rough with his friends. The diving trip left Harry red and green all over, yet he remains the nice (though rather rough) guy he always has been. I've noticed that kind people are also big. A round person who is cold is big. Nice and blue people have to be big as well. A nice and kind natured person that is big in shape will be rough. People that are big but also green, may ultimately be very nice. Kind people who are blue with sadness and cold toward others are surprisingly red.
Alan is kind.
("Alan" "is" "kind" "+")
Alan is green.
("Alan" "is" "green" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is kind then they are big.
((("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and round then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and blue then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and big and kind then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is big and green then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and kind and blue then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
Alan is green.
True
1
proof
[(triple2)]
("Alan" "is" "green" "+")
triple2
Harry is not green.
False
1
inv-proof
[(triple10)]
("Harry" "is" "green" "-")
triple10
Eric is big.
True
2
proof
[(((triple6) -> rule1))]
("Eric" "is" "big" "+")
((triple6) -> (rule1 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Alan is not big.
False
2
inv-proof
[(((triple1) -> rule1))]
("Alan" "is" "big" "-")
((triple1) -> (rule1 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is nice.
True
4
proof
[(((((triple1) -> rule1) triple2) -> rule5))]
("Alan" "is" "nice" "+")
((((triple1) -> (rule1 % int2)) triple2) -> (rule5 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is not nice.
False
4
inv-proof
[(((((triple1) -> rule1) triple2) -> rule5))]
("Alan" "is" "nice" "-")
((((triple1) -> (rule1 % int2)) triple2) -> (rule5 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is rough.
True
8
proof
[(((((((triple1) -> rule1) triple2) -> rule5) ((triple1) -> rule1) triple1) -> rule4))]
("Alan" "is" "rough" "+")
((((((triple1) -> (rule1 % int3)) triple2) -> (rule5 % int2)) ((triple1) -> (rule1 % int3)) triple1) -> (rule4 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is not rough.
False
8
inv-proof
[(((((((triple1) -> rule1) triple2) -> rule5) ((triple1) -> rule1) triple1) -> rule4))]
("Alan" "is" "rough" "-")
((((((triple1) -> (rule1 % int3)) triple2) -> (rule5 % int2)) ((triple1) -> (rule1 % int3)) triple1) -> (rule4 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Bob is not nice.
Unknown
inv-rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "nice" "-")
Eric is nice.
Unknown
rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "nice" "+")
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "big" "-")
Eric is red.
Unknown
rconc
[@1: Eric is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Eric" "is" "red" "+")
Alan is not cold.
Unknown
inv-random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
Eric is not round.
Unknown
inv-random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
@0: Alan is green.[(triple2)] Alan is kind.[(triple1)] Bob is rough.[(triple3)] Eric is kind.[(triple6)] Eric is rough.[(triple5)] Eric is young.[(triple4)] Harry is green.[(triple10)] Harry is nice.[(triple9)] Harry is red.[(triple8)] Harry is rough.[(triple7)] @1: Alan is big.[(((triple1) -> rule1))] Eric is big.[(((triple6) -> rule1))] @2: Alan is nice.[(((((triple1) -> rule1) triple2) -> rule5))] @3: Alan is rough.[(((((((triple1) -> rule1) triple2) -> rule5) ((triple1) -> rule1) triple1) -> rule4))]
Alan is green.
("Alan" "is" "green" "+")
triple2
Alan is kind.
("Alan" "is" "kind" "+")
triple1
Bob is rough.
("Bob" "is" "rough" "+")
triple3
Eric is kind.
("Eric" "is" "kind" "+")
triple6
Eric is rough.
("Eric" "is" "rough" "+")
triple5
Eric is young.
("Eric" "is" "young" "+")
triple4
Harry is green.
("Harry" "is" "green" "+")
triple10
Harry is nice.
("Harry" "is" "nice" "+")
triple9
Harry is red.
("Harry" "is" "red" "+")
triple8
Harry is rough.
("Harry" "is" "rough" "+")
triple7
Alan is big.
("Alan" "is" "big" "+")
((triple1) -> (rule1 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
((triple6) -> (rule1 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
((((triple1) -> (rule1 % int2)) triple2) -> (rule5 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
((((((triple1) -> (rule1 % int3)) triple2) -> (rule5 % int2)) ((triple1) -> (rule1 % int3)) triple1) -> (rule4 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Upon meeting Alan, you'll notice he's green and kind.
They always call him rough Bob.
Eric is young and kind; But he plays really rough with his friends.
The diving trip left Harry red and green all over, yet he remains the nice (though rather rough) guy he always has been.
I've noticed that kind people are also big.
A round person who is cold is big.
Nice and blue people have to be big as well.
A nice and kind natured person that is big in shape will be rough.
People that are big but also green, may ultimately be very nice.
Kind people who are blue with sadness and cold toward others are surprisingly red.