Alan is big and tends to wear red shirts. Charlie has a round face and is very nice. In the snow sits Gary, crying from being cold. Although Harry is seen as nice and round, his days of playing football have made him quite rough. Someone who looks rough and feels cold is also kind to others. A person that is nice and young is also going to be a person that is rough. A human that's cold also means they are a human that is young. A young, red person will certainly be cold. Blue, red, young people are always going to be kind people, too. You can see that cold, blue people are round in shape. Round, nice people are normally cold and nasty.
Alan is red.
("Alan" "is" "red" "+")
Alan is big.
("Alan" "is" "big" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is nice.
("Harry" "is" "nice" "+")
If someone is rough and cold then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and young then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold then they are young.
((("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is red and young then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and red and young then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and blue then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is round and nice then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
Harry is nice.
True
1
proof
[(triple8)]
("Harry" "is" "nice" "+")
triple8
Alan is not big.
False
1
inv-proof
[(triple2)]
("Alan" "is" "big" "-")
triple2
Gary is young.
True
2
proof
[(((triple5) -> rule3))]
("Gary" "is" "young" "+")
((triple5) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Charlie is not cold.
False
3
inv-proof
[(((triple3 triple4) -> rule7))]
("Charlie" "is" "cold" "-")
((triple3 triple4) -> (rule7 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Harry is kind.
True
5
proof
[(((triple7 ((triple6 triple8) -> rule7)) -> rule1) OR ((((triple8 ((((triple6 triple8) -> rule7)) -> rule3)) -> rule2) ((triple6 triple8) -> rule7)) -> rule1))]
("Harry" "is" "kind" "+")
((triple7 ((triple6 triple8) -> (rule7 % int2))) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
((((triple8 ((((triple6 triple8) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule2 % int2)) ((triple6 triple8) -> (rule7 % int4))) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Charlie is not young.
False
4
inv-proof
[(((((triple3 triple4) -> rule7)) -> rule3))]
("Charlie" "is" "young" "-")
((((triple3 triple4) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is rough.
True
6
proof
[(((triple4 ((((triple3 triple4) -> rule7)) -> rule3)) -> rule2))]
("Charlie" "is" "rough" "+")
((triple4 ((((triple3 triple4) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is not rough.
False
6
inv-proof
[(((triple4 ((((triple3 triple4) -> rule7)) -> rule3)) -> rule2))]
("Charlie" "is" "rough" "-")
((triple4 ((((triple3 triple4) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is kind.
True
10
proof
[(((((triple4 ((((triple3 triple4) -> rule7)) -> rule3)) -> rule2) ((triple3 triple4) -> rule7)) -> rule1))]
("Charlie" "is" "kind" "+")
((((triple4 ((((triple3 triple4) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule2 % int2)) ((triple3 triple4) -> (rule7 % int4))) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is not kind.
False
10
inv-proof
[(((((triple4 ((((triple3 triple4) -> rule7)) -> rule3)) -> rule2) ((triple3 triple4) -> rule7)) -> rule1))]
("Charlie" "is" "kind" "-")
((((triple4 ((((triple3 triple4) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule2 % int2)) ((triple3 triple4) -> (rule7 % int4))) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Alan is not round.
Unknown
inv-rconc
[@1: Alan is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Alan" "is" "round" "-")
Alan is cold.
Unknown
rconc
[@3: Alan is cold.[CWA. Example of deepest failure = (rule4 <- rule3 <- rule7 <- FAIL)]]
("Alan" "is" "cold" "+")
Alan is not young.
Unknown
inv-rconc
[@2: Alan is young.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("Alan" "is" "young" "-")
Gary is kind.
Unknown
rconc
[@2: Gary is kind.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Gary" "is" "kind" "+")
Gary is not round.
Unknown
inv-rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "round" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
Harry is not red.
Unknown
inv-random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
Alan is not nice.
Unknown
inv-random
[@0: Alan is nice.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "nice" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
@0: Alan is big.[(triple2)] Alan is red.[(triple1)] Charlie is nice.[(triple4)] Charlie is round.[(triple3)] Gary is cold.[(triple5)] Harry is nice.[(triple8)] Harry is rough.[(triple7 OR ((triple8 ((((triple6 triple8) -> rule7)) -> rule3)) -> rule2))] Harry is round.[(triple6)] @1: Charlie is cold.[(((triple3 triple4) -> rule7))] Gary is young.[(((triple5) -> rule3))] Harry is cold.[(((triple6 triple8) -> rule7))] @2: Charlie is young.[(((((triple3 triple4) -> rule7)) -> rule3))] Harry is kind.[(((triple7 ((triple6 triple8) -> rule7)) -> rule1) OR ((((triple8 ((((triple6 triple8) -> rule7)) -> rule3)) -> rule2) ((triple6 triple8) -> rule7)) -> rule1))] Harry is young.[(((((triple6 triple8) -> rule7)) -> rule3))] @3: Charlie is rough.[(((triple4 ((((triple3 triple4) -> rule7)) -> rule3)) -> rule2))] @4: Charlie is kind.[(((((triple4 ((((triple3 triple4) -> rule7)) -> rule3)) -> rule2) ((triple3 triple4) -> rule7)) -> rule1))]
Alan is big.
("Alan" "is" "big" "+")
triple2
Alan is red.
("Alan" "is" "red" "+")
triple1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple4
Charlie is round.
("Charlie" "is" "round" "+")
triple3
Gary is cold.
("Gary" "is" "cold" "+")
triple5
Harry is nice.
("Harry" "is" "nice" "+")
triple8
Harry is rough.
("Harry" "is" "rough" "+")
triple7
((triple8 ((((triple6 triple8) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
triple6
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple3 triple4) -> (rule7 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((triple5) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
((triple6 triple8) -> (rule7 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
((((triple3 triple4) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
((triple7 ((triple6 triple8) -> (rule7 % int2))) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
((((triple8 ((((triple6 triple8) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule2 % int2)) ((triple6 triple8) -> (rule7 % int4))) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
((((triple6 triple8) -> (rule7 % int2))) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple4 ((((triple3 triple4) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
((((triple4 ((((triple3 triple4) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule2 % int2)) ((triple3 triple4) -> (rule7 % int4))) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Alan is big and tends to wear red shirts.
Charlie has a round face and is very nice.
In the snow sits Gary, crying from being cold.
Although Harry is seen as nice and round, his days of playing football have made him quite rough.
Someone who looks rough and feels cold is also kind to others.
A person that is nice and young is also going to be a person that is rough.
A human that's cold also means they are a human that is young.
A young, red person will certainly be cold.
Blue, red, young people are always going to be kind people, too.
You can see that cold, blue people are round in shape.
Round, nice people are normally cold and nasty.