When you see Alan, you will notice he is cold, big and kind. Eric has a round face and is very nice. Gary was born only a few years ago so he is young. Harry is a very rough person. As expected, he's also a very cold and big individual. Rough people are often always nice. A rough and kind person is big. A big, kind someone could also be cold in a green dress. Blue people who are cold are always round in shape. A kind person who is green is usually round. A person being big and rough makes them cold towards others but that also means that they are kind.
Alan is kind.
("Alan" "is" "kind" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Alan is big.
("Alan" "is" "big" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is rough then they are nice.
((("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and rough then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is big and kind and cold then they are green.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and cold then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and green then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and big and rough then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
Alan is big.
True
1
proof
[(triple3)]
("Alan" "is" "big" "+")
triple3
Alan is not kind.
False
1
inv-proof
[(triple1)]
("Alan" "is" "kind" "-")
triple1
Alan is green.
True
4
proof
[(((triple3 triple1 triple2) -> rule3))]
("Alan" "is" "green" "+")
((triple3 triple1 triple2) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Harry is not kind.
False
4
inv-proof
[(((triple8 triple9 triple7) -> rule6))]
("Harry" "is" "kind" "-")
((triple8 triple9 triple7) -> (rule6 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Alan is round.
True
6
proof
[(((triple1 ((triple3 triple1 triple2) -> rule3)) -> rule5))]
("Alan" "is" "round" "+")
((triple1 ((triple3 triple1 triple2) -> (rule3 % int2))) -> (rule5 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Harry is not green.
False
7
inv-proof
[(((triple9 ((triple8 triple9 triple7) -> rule6) triple8) -> rule3))]
("Harry" "is" "green" "-")
((triple9 ((triple8 triple9 triple7) -> (rule6 % int2)) triple8) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is round.
True
12
proof
[(((((triple8 triple9 triple7) -> rule6) ((triple9 ((triple8 triple9 triple7) -> rule6) triple8) -> rule3)) -> rule5))]
("Harry" "is" "round" "+")
((((triple8 triple9 triple7) -> (rule6 % int3)) ((triple9 ((triple8 triple9 triple7) -> (rule6 % int3)) triple8) -> (rule3 % int2))) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is not round.
False
12
inv-proof
[(((((triple8 triple9 triple7) -> rule6) ((triple9 ((triple8 triple9 triple7) -> rule6) triple8) -> rule3)) -> rule5))]
("Harry" "is" "round" "-")
((((triple8 triple9 triple7) -> (rule6 % int3)) ((triple9 ((triple8 triple9 triple7) -> (rule6 % int3)) triple8) -> (rule3 % int2))) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Alan is not nice.
Unknown
inv-rconc
[@1: Alan is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "nice" "-")
Gary is big.
Unknown
rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "big" "+")
Eric is not green.
Unknown
inv-rconc
[@1: Eric is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "green" "-")
Gary is round.
Unknown
rconc
[@2: Gary is round.[CWA. Example of deepest failure = (rule5 <- rule6 <- FAIL)]]
("Gary" "is" "round" "+")
Eric is not rough.
Unknown
inv-random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
Harry is not blue.
Unknown
inv-random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "-")
Eric is blue.
Unknown
random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "+")
@0: Alan is big.[(triple3)] Alan is cold.[(triple2)] Alan is kind.[(triple1)] Eric is nice.[(triple5)] Eric is round.[(triple4)] Gary is young.[(triple6)] Harry is big.[(triple9)] Harry is cold.[(triple8)] Harry is rough.[(triple7)] @1: Alan is green.[(((triple3 triple1 triple2) -> rule3))] Harry is kind.[(((triple8 triple9 triple7) -> rule6))] Harry is nice.[(((triple7) -> rule1))] @2: Alan is round.[(((triple1 ((triple3 triple1 triple2) -> rule3)) -> rule5))] Harry is green.[(((triple9 ((triple8 triple9 triple7) -> rule6) triple8) -> rule3))] @3: Harry is round.[(((((triple8 triple9 triple7) -> rule6) ((triple9 ((triple8 triple9 triple7) -> rule6) triple8) -> rule3)) -> rule5))]
Alan is big.
("Alan" "is" "big" "+")
triple3
Alan is cold.
("Alan" "is" "cold" "+")
triple2
Alan is kind.
("Alan" "is" "kind" "+")
triple1
Eric is nice.
("Eric" "is" "nice" "+")
triple5
Eric is round.
("Eric" "is" "round" "+")
triple4
Gary is young.
("Gary" "is" "young" "+")
triple6
Harry is big.
("Harry" "is" "big" "+")
triple9
Harry is cold.
("Harry" "is" "cold" "+")
triple8
Harry is rough.
("Harry" "is" "rough" "+")
triple7
Alan is green.
("Alan" "is" "green" "+")
((triple3 triple1 triple2) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
((triple8 triple9 triple7) -> (rule6 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
((triple7) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
((triple1 ((triple3 triple1 triple2) -> (rule3 % int2))) -> (rule5 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
((triple9 ((triple8 triple9 triple7) -> (rule6 % int2)) triple8) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
((((triple8 triple9 triple7) -> (rule6 % int3)) ((triple9 ((triple8 triple9 triple7) -> (rule6 % int3)) triple8) -> (rule3 % int2))) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
When you see Alan, you will notice he is cold, big and kind.
Eric has a round face and is very nice.
Gary was born only a few years ago so he is young.
Harry is a very rough person; As expected, he's also a very cold and big individual.
Rough people are often always nice.
A rough and kind person is big.
A big, kind someone could also be cold in a green dress.
Blue people who are cold are always round in shape.
A kind person who is green is usually round.
A person being big and rough makes them cold towards others but that also means that they are kind.