In the snow sits Bob, crying from being cold. Charlie is a big, round, nice, and red fellow is looking a bit green righ now. Eric looks big and is kind with red hair and green shoes. You will find that a big, young, blue person is also quite round. Red people feel blue about it. If smeone has a blue and green color, then they are young and probably kind. Anybody with rough, kind and blue aspects will certainly be cold, too. I've noticed that big people with blue and green skin tend to be young.
Bob is cold.
("Bob" "is" "cold" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is big.
("Eric" "is" "big" "+")
If someone is young and big and blue then they are round.
((("someone" "is" "young" "+") ("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is red then they are blue.
((("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and green and young then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and kind and blue then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is green and big and blue then they are young.
((("someone" "is" "green" "+") ("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
Eric is red.
True
1
proof
[(triple7)]
("Eric" "is" "red" "+")
triple7
Eric is not big.
False
1
inv-proof
[(triple10)]
("Eric" "is" "big" "-")
triple10
Eric is blue.
True
2
proof
[(((triple7) -> rule2))]
("Eric" "is" "blue" "+")
((triple7) -> (rule2 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Charlie is not blue.
False
2
inv-proof
[(((triple3) -> rule2))]
("Charlie" "is" "blue" "-")
((triple3) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
True
5
proof
[(((triple5 triple6 ((triple3) -> rule2)) -> rule5))]
("Charlie" "is" "young" "+")
((triple5 triple6 ((triple3) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Eric is not young.
False
5
inv-proof
[(((triple9 triple10 ((triple7) -> rule2)) -> rule5))]
("Eric" "is" "young" "-")
((triple9 triple10 ((triple7) -> (rule2 % int2))) -> (rule5 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Charlie is kind.
True
9
proof
[(((((triple3) -> rule2) triple5 ((triple5 triple6 ((triple3) -> rule2)) -> rule5)) -> rule3))]
("Charlie" "is" "kind" "+")
((((triple3) -> (rule2 % int3)) triple5 ((triple5 triple6 ((triple3) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Eric is not round.
False
9
inv-proof
[(((((triple9 triple10 ((triple7) -> rule2)) -> rule5) triple10 ((triple7) -> rule2)) -> rule1))]
("Eric" "is" "round" "-")
((((triple9 triple10 ((triple7) -> (rule2 % int3))) -> (rule5 % int2)) triple10 ((triple7) -> (rule2 % int3))) -> (rule1 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Charlie is not cold.
Unknown
inv-rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "cold" "-")
Bob is blue.
Unknown
rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "blue" "+")
Harry is not blue.
Unknown
inv-rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "blue" "-")
Bob is kind.
Unknown
rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "kind" "+")
Harry is not green.
Unknown
inv-random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
Harry is not nice.
Unknown
inv-random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
@0: Bob is cold.[(triple1)] Charlie is big.[(triple6)] Charlie is green.[(triple5)] Charlie is nice.[(triple4)] Charlie is red.[(triple3)] Charlie is round.[(triple2 OR ((((triple5 triple6 ((triple3) -> rule2)) -> rule5) triple6 ((triple3) -> rule2)) -> rule1))] Eric is big.[(triple10)] Eric is green.[(triple9)] Eric is kind.[(triple8 OR ((((triple7) -> rule2) triple9 ((triple9 triple10 ((triple7) -> rule2)) -> rule5)) -> rule3))] Eric is red.[(triple7)] @1: Charlie is blue.[(((triple3) -> rule2))] Eric is blue.[(((triple7) -> rule2))] @2: Charlie is young.[(((triple5 triple6 ((triple3) -> rule2)) -> rule5))] Eric is young.[(((triple9 triple10 ((triple7) -> rule2)) -> rule5))] @3: Charlie is kind.[(((((triple3) -> rule2) triple5 ((triple5 triple6 ((triple3) -> rule2)) -> rule5)) -> rule3))] Eric is round.[(((((triple9 triple10 ((triple7) -> rule2)) -> rule5) triple10 ((triple7) -> rule2)) -> rule1))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple6
Charlie is green.
("Charlie" "is" "green" "+")
triple5
Charlie is nice.
("Charlie" "is" "nice" "+")
triple4
Charlie is red.
("Charlie" "is" "red" "+")
triple3
Charlie is round.
("Charlie" "is" "round" "+")
triple2
((((triple5 triple6 ((triple3) -> (rule2 % int3))) -> (rule5 % int2)) triple6 ((triple3) -> (rule2 % int3))) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Eric is big.
("Eric" "is" "big" "+")
triple10
Eric is green.
("Eric" "is" "green" "+")
triple9
Eric is kind.
("Eric" "is" "kind" "+")
triple8
((((triple7) -> (rule2 % int3)) triple9 ((triple9 triple10 ((triple7) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Eric is red.
("Eric" "is" "red" "+")
triple7
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple3) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
((triple7) -> (rule2 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
((triple5 triple6 ((triple3) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
((triple9 triple10 ((triple7) -> (rule2 % int2))) -> (rule5 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
((((triple3) -> (rule2 % int3)) triple5 ((triple5 triple6 ((triple3) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Eric is round.
("Eric" "is" "round" "+")
((((triple9 triple10 ((triple7) -> (rule2 % int3))) -> (rule5 % int2)) triple10 ((triple7) -> (rule2 % int3))) -> (rule1 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
In the snow sits Bob, crying from being cold.
Charlie is a big, round, nice, and red fellow is looking a bit green righ now.
Eric looks big and is kind with red hair and green shoes.
You will find that a big, young, blue person is also quite round.
Red people feel blue about it.
If smeone has a blue and green color, then they are young and probably kind.
Anybody with rough, kind and blue aspects will certainly be cold, too.
I've noticed that big people with blue and green skin tend to be young.