Alan is big in stature, blue from the cold, has red hair and is kind. Most people see Charlie as round, albeit nice and big at the same time. Gary ate some rotten meat and now feels green. Although Harry is young and nice, he is as cold as ice. People who are big and kind are also round. A round person who is nice and feelin cold is usually rough in apperance. People who are round, blue and cold are usually nice. Blue people who are cold are always round in shape. Big, round, red people are always so young. Blue and red people who are young always have rough skin.
Alan is red.
("Alan" "is" "red" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Alan is big.
("Alan" "is" "big" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Gary is green.
("Gary" "is" "green" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is kind and big then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is round and nice and cold then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and blue and cold then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and cold then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is big and round and red then they are young.
((("someone" "is" "big" "+") ("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and red and young then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
Alan is big.
True
1
proof
[(triple5)]
("Alan" "is" "big" "+")
triple5
Charlie is not round.
False
1
inv-proof
[(triple6)]
("Charlie" "is" "round" "-")
triple6
Alan is round.
True
3
proof
[(((triple2 triple5) -> rule1) OR ((triple4 triple3) -> rule4))]
("Alan" "is" "round" "+")
((triple2 triple5) -> (rule1 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
((triple4 triple3) -> (rule4 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is not round.
False
3
inv-proof
[(((triple2 triple5) -> rule1) OR ((triple4 triple3) -> rule4))]
("Alan" "is" "round" "-")
((triple2 triple5) -> (rule1 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
((triple4 triple3) -> (rule4 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is nice.
True
6
proof
[(((((triple2 triple5) -> rule1) triple4 triple3) -> rule3) OR ((((triple4 triple3) -> rule4) triple4 triple3) -> rule3))]
("Alan" "is" "nice" "+")
((((triple2 triple5) -> (rule1 % int2)) triple4 triple3) -> (rule3 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
((((triple4 triple3) -> (rule4 % int2)) triple4 triple3) -> (rule3 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is not nice.
False
6
inv-proof
[(((((triple2 triple5) -> rule1) triple4 triple3) -> rule3) OR ((((triple4 triple3) -> rule4) triple4 triple3) -> rule3))]
("Alan" "is" "nice" "-")
((((triple2 triple5) -> (rule1 % int2)) triple4 triple3) -> (rule3 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
((((triple4 triple3) -> (rule4 % int2)) triple4 triple3) -> (rule3 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is rough.
True
9
proof
[(((triple4 triple1 ((triple5 ((triple2 triple5) -> rule1) triple1) -> rule5)) -> rule6) OR ((triple4 triple1 ((triple5 ((triple4 triple3) -> rule4) triple1) -> rule5)) -> rule6) OR ((((triple2 triple5) -> rule1) ((((triple2 triple5) -> rule1) triple4 triple3) -> rule3) triple3) -> rule2) OR ((((triple2 triple5) -> rule1) ((((triple4 triple3) -> rule4) triple4 triple3) -> rule3) triple3) -> rule2) OR ((((triple4 triple3) -> rule4) ((((triple2 triple5) -> rule1) triple4 triple3) -> rule3) triple3) -> rule2) OR ((((triple4 triple3) -> rule4) ((((triple4 triple3) -> rule4) triple4 triple3) -> rule3) triple3) -> rule2))]
("Alan" "is" "rough" "+")
((triple4 triple1 ((triple5 ((triple2 triple5) -> (rule1 % int3)) triple1) -> (rule5 % int2))) -> (rule6 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
((triple4 triple1 ((triple5 ((triple4 triple3) -> (rule4 % int3)) triple1) -> (rule5 % int2))) -> (rule6 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
((((triple2 triple5) -> (rule1 % int3)) ((((triple2 triple5) -> (rule1 % int3)) triple4 triple3) -> (rule3 % int2)) triple3) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
((((triple2 triple5) -> (rule1 % int3)) ((((triple4 triple3) -> (rule4 % int3)) triple4 triple3) -> (rule3 % int2)) triple3) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
((((triple4 triple3) -> (rule4 % int3)) ((((triple2 triple5) -> (rule1 % int3)) triple4 triple3) -> (rule3 % int2)) triple3) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
((((triple4 triple3) -> (rule4 % int3)) ((((triple4 triple3) -> (rule4 % int3)) triple4 triple3) -> (rule3 % int2)) triple3) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Alan is not rough.
False
9
inv-proof
[(((triple4 triple1 ((triple5 ((triple2 triple5) -> rule1) triple1) -> rule5)) -> rule6) OR ((triple4 triple1 ((triple5 ((triple4 triple3) -> rule4) triple1) -> rule5)) -> rule6) OR ((((triple2 triple5) -> rule1) ((((triple2 triple5) -> rule1) triple4 triple3) -> rule3) triple3) -> rule2) OR ((((triple2 triple5) -> rule1) ((((triple4 triple3) -> rule4) triple4 triple3) -> rule3) triple3) -> rule2) OR ((((triple4 triple3) -> rule4) ((((triple2 triple5) -> rule1) triple4 triple3) -> rule3) triple3) -> rule2) OR ((((triple4 triple3) -> rule4) ((((triple4 triple3) -> rule4) triple4 triple3) -> rule3) triple3) -> rule2))]
("Alan" "is" "rough" "-")
((triple4 triple1 ((triple5 ((triple2 triple5) -> (rule1 % int3)) triple1) -> (rule5 % int2))) -> (rule6 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
((triple4 triple1 ((triple5 ((triple4 triple3) -> (rule4 % int3)) triple1) -> (rule5 % int2))) -> (rule6 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
((((triple2 triple5) -> (rule1 % int3)) ((((triple2 triple5) -> (rule1 % int3)) triple4 triple3) -> (rule3 % int2)) triple3) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
((((triple2 triple5) -> (rule1 % int3)) ((((triple4 triple3) -> (rule4 % int3)) triple4 triple3) -> (rule3 % int2)) triple3) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
((((triple4 triple3) -> (rule4 % int3)) ((((triple2 triple5) -> (rule1 % int3)) triple4 triple3) -> (rule3 % int2)) triple3) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
((((triple4 triple3) -> (rule4 % int3)) ((((triple4 triple3) -> (rule4 % int3)) triple4 triple3) -> (rule3 % int2)) triple3) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Charlie is not young.
Unknown
inv-rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "young" "-")
Harry is rough.
Unknown
rconc
[@2: Harry is rough.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Harry" "is" "rough" "+")
Charlie is not rough.
Unknown
inv-rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "rough" "-")
Gary is young.
Unknown
rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "young" "+")
Harry is not green.
Unknown
inv-random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
Charlie is not red.
Unknown
inv-random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
@0: Alan is big.[(triple5)] Alan is blue.[(triple4)] Alan is cold.[(triple3)] Alan is kind.[(triple2)] Alan is red.[(triple1)] Charlie is big.[(triple8)] Charlie is nice.[(triple7)] Charlie is round.[(triple6)] Gary is green.[(triple9)] Harry is cold.[(triple12)] Harry is nice.[(triple11)] Harry is young.[(triple10)] @1: Alan is round.[(((triple2 triple5) -> rule1) OR ((triple4 triple3) -> rule4))] @2: Alan is nice.[(((((triple2 triple5) -> rule1) triple4 triple3) -> rule3) OR ((((triple4 triple3) -> rule4) triple4 triple3) -> rule3))] Alan is young.[(((triple5 ((triple2 triple5) -> rule1) triple1) -> rule5) OR ((triple5 ((triple4 triple3) -> rule4) triple1) -> rule5))] @3: Alan is rough.[(((triple4 triple1 ((triple5 ((triple2 triple5) -> rule1) triple1) -> rule5)) -> rule6) OR ((triple4 triple1 ((triple5 ((triple4 triple3) -> rule4) triple1) -> rule5)) -> rule6) OR ((((triple2 triple5) -> rule1) ((((triple2 triple5) -> rule1) triple4 triple3) -> rule3) triple3) -> rule2) OR ((((triple2 triple5) -> rule1) ((((triple4 triple3) -> rule4) triple4 triple3) -> rule3) triple3) -> rule2) OR ((((triple4 triple3) -> rule4) ((((triple2 triple5) -> rule1) triple4 triple3) -> rule3) triple3) -> rule2) OR ((((triple4 triple3) -> rule4) ((((triple4 triple3) -> rule4) triple4 triple3) -> rule3) triple3) -> rule2))]
Alan is big.
("Alan" "is" "big" "+")
triple5
Alan is blue.
("Alan" "is" "blue" "+")
triple4
Alan is cold.
("Alan" "is" "cold" "+")
triple3
Alan is kind.
("Alan" "is" "kind" "+")
triple2
Alan is red.
("Alan" "is" "red" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple8
Charlie is nice.
("Charlie" "is" "nice" "+")
triple7
Charlie is round.
("Charlie" "is" "round" "+")
triple6
Gary is green.
("Gary" "is" "green" "+")
triple9
Harry is cold.
("Harry" "is" "cold" "+")
triple12
Harry is nice.
("Harry" "is" "nice" "+")
triple11
Harry is young.
("Harry" "is" "young" "+")
triple10
Alan is round.
("Alan" "is" "round" "+")
((triple2 triple5) -> (rule1 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
((triple4 triple3) -> (rule4 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
((((triple2 triple5) -> (rule1 % int2)) triple4 triple3) -> (rule3 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
((((triple4 triple3) -> (rule4 % int2)) triple4 triple3) -> (rule3 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
((triple5 ((triple2 triple5) -> (rule1 % int2)) triple1) -> (rule5 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
((triple5 ((triple4 triple3) -> (rule4 % int2)) triple1) -> (rule5 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
((triple4 triple1 ((triple5 ((triple2 triple5) -> (rule1 % int3)) triple1) -> (rule5 % int2))) -> (rule6 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
((triple4 triple1 ((triple5 ((triple4 triple3) -> (rule4 % int3)) triple1) -> (rule5 % int2))) -> (rule6 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
((((triple2 triple5) -> (rule1 % int3)) ((((triple2 triple5) -> (rule1 % int3)) triple4 triple3) -> (rule3 % int2)) triple3) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
((((triple2 triple5) -> (rule1 % int3)) ((((triple4 triple3) -> (rule4 % int3)) triple4 triple3) -> (rule3 % int2)) triple3) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
((((triple4 triple3) -> (rule4 % int3)) ((((triple2 triple5) -> (rule1 % int3)) triple4 triple3) -> (rule3 % int2)) triple3) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
((((triple4 triple3) -> (rule4 % int3)) ((((triple4 triple3) -> (rule4 % int3)) triple4 triple3) -> (rule3 % int2)) triple3) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Alan is big in stature, blue from the cold, has red hair and is kind.
Most people see Charlie as round, albeit nice and big at the same time.
Gary ate some rotten meat and now feels green.
Although Harry is young and nice, he is as cold as ice.
People who are big and kind are also round.
A round person who is nice and feelin cold is usually rough in apperance.
People who are round, blue and cold are usually nice.
Blue people who are cold are always round in shape.
Big, round, red people are always so young.
Blue and red people who are young always have rough skin.