In the snow sits Alan, crying from being cold. Bob was a complicated man. He was rough and red, yet nice and kind. He was as cold as he was blue. Big Gary is young and rough but also very nice in a green sorta way. An individual that fits the nice, red, and kind description will fit the description of big, too. Soon you will understand that big people are nice. A green person who is kind and a bit blue is young. Rough and cold and blue people are round. A young, nice person will turn out to be a green person also. Being big and blue is standard for being green. If you meet somebody who is green, big and red you'll notice they are also blue.
Alan is cold.
("Alan" "is" "cold" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is red and kind and nice then they are big.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is big then they are nice.
((("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and kind and green then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and blue and cold then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is young and nice then they are green.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is big and blue then they are green.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is green and big and red then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
Bob is red.
True
1
proof
[(triple3)]
("Bob" "is" "red" "+")
triple3
Gary is not nice.
False
1
inv-proof
[(triple10 OR ((triple12) -> rule2))]
("Gary" "is" "nice" "-")
triple10
((triple12) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Bob is big.
True
4
proof
[(((triple3 triple5 triple4) -> rule1))]
("Bob" "is" "big" "+")
((triple3 triple5 triple4) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is not big.
False
4
inv-proof
[(((triple3 triple5 triple4) -> rule1))]
("Bob" "is" "big" "-")
((triple3 triple5 triple4) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
True
6
proof
[(((((triple3 triple5 triple4) -> rule1) triple7) -> rule6))]
("Bob" "is" "green" "+")
((((triple3 triple5 triple4) -> (rule1 % int2)) triple7) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is not green.
False
6
inv-proof
[(((((triple3 triple5 triple4) -> rule1) triple7) -> rule6))]
("Bob" "is" "green" "-")
((((triple3 triple5 triple4) -> (rule1 % int2)) triple7) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is young.
True
9
proof
[(((triple7 triple5 ((((triple3 triple5 triple4) -> rule1) triple7) -> rule6)) -> rule3))]
("Bob" "is" "young" "+")
((triple7 triple5 ((((triple3 triple5 triple4) -> (rule1 % int3)) triple7) -> (rule6 % int2))) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is not young.
False
9
inv-proof
[(((triple7 triple5 ((((triple3 triple5 triple4) -> rule1) triple7) -> rule6)) -> rule3))]
("Bob" "is" "young" "-")
((triple7 triple5 ((((triple3 triple5 triple4) -> (rule1 % int3)) triple7) -> (rule6 % int2))) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Harry is not green.
Unknown
inv-rconc
[@2: Harry is green.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("Harry" "is" "green" "-")
Alan is nice.
Unknown
rconc
[@2: Alan is nice.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Alan" "is" "nice" "+")
Harry is not blue.
Unknown
inv-rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Harry" "is" "blue" "-")
Alan is big.
Unknown
rconc
[@1: Alan is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "big" "+")
Alan is not kind.
Unknown
inv-random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
Harry is not red.
Unknown
inv-random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
@0: Alan is cold.[(triple1)] Bob is blue.[(triple7)] Bob is cold.[(triple6)] Bob is kind.[(triple5)] Bob is nice.[(triple4)] Bob is red.[(triple3)] Bob is rough.[(triple2)] Gary is big.[(triple12)] Gary is green.[(triple11 OR ((triple8 triple10) -> rule5) OR ((triple8 ((triple12) -> rule2)) -> rule5))] Gary is nice.[(triple10 OR ((triple12) -> rule2))] Gary is rough.[(triple9)] Gary is young.[(triple8)] @1: Bob is big.[(((triple3 triple5 triple4) -> rule1))] Bob is round.[(((triple2 triple7 triple6) -> rule4))] @2: Bob is green.[(((((triple3 triple5 triple4) -> rule1) triple7) -> rule6))] @3: Bob is young.[(((triple7 triple5 ((((triple3 triple5 triple4) -> rule1) triple7) -> rule6)) -> rule3))]
Alan is cold.
("Alan" "is" "cold" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple7
Bob is cold.
("Bob" "is" "cold" "+")
triple6
Bob is kind.
("Bob" "is" "kind" "+")
triple5
Bob is nice.
("Bob" "is" "nice" "+")
triple4
Bob is red.
("Bob" "is" "red" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Gary is big.
("Gary" "is" "big" "+")
triple12
Gary is green.
("Gary" "is" "green" "+")
triple11
((triple8 triple10) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((triple8 ((triple12) -> (rule2 % int2))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
triple10
((triple12) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple8
Bob is big.
("Bob" "is" "big" "+")
((triple3 triple5 triple4) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
((triple2 triple7 triple6) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
((((triple3 triple5 triple4) -> (rule1 % int2)) triple7) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
((triple7 triple5 ((((triple3 triple5 triple4) -> (rule1 % int3)) triple7) -> (rule6 % int2))) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
In the snow sits Alan, crying from being cold.
Bob was a complicated man; He was rough and red, yet nice and kind; He was as cold as he was blue.
Big Gary is young and rough but also very nice in a green sorta way.
An individual that fits the nice, red, and kind description will fit the description of big, too.
Soon you will understand that big people are nice.
A green person who is kind and a bit blue is young.
Rough and cold and blue people are round.
A young, nice person will turn out to be a green person also.
Being big and blue is standard for being green.
If you meet somebody who is green, big and red you'll notice they are also blue.