Bob was born only a few years ago so he is young. People who know Charlie know he's red, kind, young, cold, blue and big. In the snow sits Fred, crying from being cold. Harry is a rough but very kind and blue person. A round person who is nice is young. When a kind person is feeling cold with red skin, they will be round as well. If a person is red and green, then they will present as big. A kind person who is green is usually round. Rough, blue people tend to have a lot of green aspects. They found the ones that were round, blue, and green to be nice.
Bob is young.
("Bob" "is" "young" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is nice and round then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and kind and red then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is red and green then they are big.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is kind and green then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and blue then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is round and blue and green then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
Harry is rough.
True
1
proof
[(triple9)]
("Harry" "is" "rough" "+")
triple9
Charlie is not blue.
False
1
inv-proof
[(triple6)]
("Charlie" "is" "blue" "-")
triple6
Charlie is round.
True
4
proof
[(((triple5 triple4 triple3) -> rule2))]
("Charlie" "is" "round" "+")
((triple5 triple4 triple3) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Harry is not green.
False
3
inv-proof
[(((triple9 triple11) -> rule5))]
("Harry" "is" "green" "-")
((triple9 triple11) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is round.
True
5
proof
[(((triple10 ((triple9 triple11) -> rule5)) -> rule4))]
("Harry" "is" "round" "+")
((triple10 ((triple9 triple11) -> (rule5 % int2))) -> (rule4 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is not round.
False
5
inv-proof
[(((triple10 ((triple9 triple11) -> rule5)) -> rule4))]
("Harry" "is" "round" "-")
((triple10 ((triple9 triple11) -> (rule5 % int2))) -> (rule4 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is nice.
True
10
proof
[(((((triple10 ((triple9 triple11) -> rule5)) -> rule4) triple11 ((triple9 triple11) -> rule5)) -> rule6))]
("Harry" "is" "nice" "+")
((((triple10 ((triple9 triple11) -> (rule5 % int3))) -> (rule4 % int2)) triple11 ((triple9 triple11) -> (rule5 % int3))) -> (rule6 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is not nice.
False
10
inv-proof
[(((((triple10 ((triple9 triple11) -> rule5)) -> rule4) triple11 ((triple9 triple11) -> rule5)) -> rule6))]
("Harry" "is" "nice" "-")
((((triple10 ((triple9 triple11) -> (rule5 % int3))) -> (rule4 % int2)) triple11 ((triple9 triple11) -> (rule5 % int3))) -> (rule6 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is young.
True
16
proof
[(((((((triple10 ((triple9 triple11) -> rule5)) -> rule4) triple11 ((triple9 triple11) -> rule5)) -> rule6) ((triple10 ((triple9 triple11) -> rule5)) -> rule4)) -> rule1))]
("Harry" "is" "young" "+")
((((((triple10 ((triple9 triple11) -> (rule5 % int4))) -> (rule4 % int3)) triple11 ((triple9 triple11) -> (rule5 % int4))) -> (rule6 % int2)) ((triple10 ((triple9 triple11) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is not young.
False
16
inv-proof
[(((((((triple10 ((triple9 triple11) -> rule5)) -> rule4) triple11 ((triple9 triple11) -> rule5)) -> rule6) ((triple10 ((triple9 triple11) -> rule5)) -> rule4)) -> rule1))]
("Harry" "is" "young" "-")
((((((triple10 ((triple9 triple11) -> (rule5 % int4))) -> (rule4 % int3)) triple11 ((triple9 triple11) -> (rule5 % int4))) -> (rule6 % int2)) ((triple10 ((triple9 triple11) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Fred is not green.
Unknown
inv-rconc
[@1: Fred is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "green" "-")
Fred is young.
Unknown
rconc
[@2: Fred is young.[CWA. Example of deepest failure = (rule1 <- rule6 <- FAIL)]]
("Fred" "is" "young" "+")
Bob is not nice.
Unknown
inv-rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "nice" "-")
Charlie is nice.
Unknown
rconc
[@2: Charlie is nice.[CWA. Example of deepest failure = (rule6 <- rule5 <- FAIL)]]
("Charlie" "is" "nice" "+")
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "big" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
Fred is not red.
Unknown
inv-random
[@0: Fred is red.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "red" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
@0: Bob is young.[(triple1)] Charlie is big.[(triple7)] Charlie is blue.[(triple6)] Charlie is cold.[(triple5)] Charlie is kind.[(triple4)] Charlie is red.[(triple3)] Charlie is young.[(triple2)] Fred is cold.[(triple8)] Harry is blue.[(triple11)] Harry is kind.[(triple10)] Harry is rough.[(triple9)] @1: Charlie is round.[(((triple5 triple4 triple3) -> rule2))] Harry is green.[(((triple9 triple11) -> rule5))] @2: Harry is round.[(((triple10 ((triple9 triple11) -> rule5)) -> rule4))] @3: Harry is nice.[(((((triple10 ((triple9 triple11) -> rule5)) -> rule4) triple11 ((triple9 triple11) -> rule5)) -> rule6))] @4: Harry is young.[(((((((triple10 ((triple9 triple11) -> rule5)) -> rule4) triple11 ((triple9 triple11) -> rule5)) -> rule6) ((triple10 ((triple9 triple11) -> rule5)) -> rule4)) -> rule1))]
Bob is young.
("Bob" "is" "young" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple7
Charlie is blue.
("Charlie" "is" "blue" "+")
triple6
Charlie is cold.
("Charlie" "is" "cold" "+")
triple5
Charlie is kind.
("Charlie" "is" "kind" "+")
triple4
Charlie is red.
("Charlie" "is" "red" "+")
triple3
Charlie is young.
("Charlie" "is" "young" "+")
triple2
Fred is cold.
("Fred" "is" "cold" "+")
triple8
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Harry is kind.
("Harry" "is" "kind" "+")
triple10
Harry is rough.
("Harry" "is" "rough" "+")
triple9
Charlie is round.
("Charlie" "is" "round" "+")
((triple5 triple4 triple3) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
((triple9 triple11) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((triple10 ((triple9 triple11) -> (rule5 % int2))) -> (rule4 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
((((triple10 ((triple9 triple11) -> (rule5 % int3))) -> (rule4 % int2)) triple11 ((triple9 triple11) -> (rule5 % int3))) -> (rule6 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
((((((triple10 ((triple9 triple11) -> (rule5 % int4))) -> (rule4 % int3)) triple11 ((triple9 triple11) -> (rule5 % int4))) -> (rule6 % int2)) ((triple10 ((triple9 triple11) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Bob was born only a few years ago so he is young.
People who know Charlie know he's red, kind, young, cold, blue and big.
In the snow sits Fred, crying from being cold.
Harry is a rough but very kind and blue person.
A round person who is nice is young.
When a kind person is feeling cold with red skin, they will be round as well.
If a person is red and green, then they will present as big.
A kind person who is green is usually round.
Rough, blue people tend to have a lot of green aspects.
They found the ones that were round, blue, and green to be nice.