Alan is known to be rough and green. Young, red Charlie is nice. Harry is too young to be so big. Some say he is too green to be so blue as well. Most young, green people are kind and because of this they are round. A person that is blue green and nice are that way because they are still young. Red and round people are nice to others even though they are big. A green colored person will be young and also kind. A person who exhibits nice, kind and cold characteristics will also be a rough person. A person with the qualities of being cold and being red will also be a person that is green. A nice and young aged person will definitely be green in color.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is green.
("Alan" "is" "green" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is green and young and kind then they are round.
((("someone" "is" "green" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and green and nice then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and round and red then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is green and young then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and nice and cold then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and red then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and young then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
Charlie is nice.
True
1
proof
[(triple5)]
("Charlie" "is" "nice" "+")
triple5
Harry is not big.
False
1
inv-proof
[(triple9)]
("Harry" "is" "big" "-")
triple9
Harry is kind.
True
3
proof
[(((triple7 triple6) -> rule4))]
("Harry" "is" "kind" "+")
((triple7 triple6) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Charlie is not green.
False
3
inv-proof
[(((triple5 triple3) -> rule7))]
("Charlie" "is" "green" "-")
((triple5 triple3) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is kind.
True
5
proof
[(((((triple5 triple3) -> rule7) triple3) -> rule4))]
("Charlie" "is" "kind" "+")
((((triple5 triple3) -> (rule7 % int2)) triple3) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Harry is not round.
False
6
inv-proof
[(((triple7 triple6 ((triple7 triple6) -> rule4)) -> rule1))]
("Harry" "is" "round" "-")
((triple7 triple6 ((triple7 triple6) -> (rule4 % int2))) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Charlie is round.
True
10
proof
[(((((triple5 triple3) -> rule7) triple3 ((((triple5 triple3) -> rule7) triple3) -> rule4)) -> rule1))]
("Charlie" "is" "round" "+")
((((triple5 triple3) -> (rule7 % int3)) triple3 ((((triple5 triple3) -> (rule7 % int3)) triple3) -> (rule4 % int2))) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is not round.
False
10
inv-proof
[(((((triple5 triple3) -> rule7) triple3 ((((triple5 triple3) -> rule7) triple3) -> rule4)) -> rule1))]
("Charlie" "is" "round" "-")
((((triple5 triple3) -> (rule7 % int3)) triple3 ((((triple5 triple3) -> (rule7 % int3)) triple3) -> (rule4 % int2))) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is big.
True
13
proof
[(((triple5 ((((triple5 triple3) -> rule7) triple3 ((((triple5 triple3) -> rule7) triple3) -> rule4)) -> rule1) triple4) -> rule3))]
("Charlie" "is" "big" "+")
((triple5 ((((triple5 triple3) -> (rule7 % int4)) triple3 ((((triple5 triple3) -> (rule7 % int4)) triple3) -> (rule4 % int3))) -> (rule1 % int2)) triple4) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is not big.
False
13
inv-proof
[(((triple5 ((((triple5 triple3) -> rule7) triple3 ((((triple5 triple3) -> rule7) triple3) -> rule4)) -> rule1) triple4) -> rule3))]
("Charlie" "is" "big" "-")
((triple5 ((((triple5 triple3) -> (rule7 % int4)) triple3 ((((triple5 triple3) -> (rule7 % int4)) triple3) -> (rule4 % int3))) -> (rule1 % int2)) triple4) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Alan is not round.
Unknown
inv-rconc
[@2: Alan is round.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Alan" "is" "round" "-")
Dave is big.
Unknown
rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "big" "+")
Dave is not young.
Unknown
inv-rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "young" "-")
Alan is big.
Unknown
rconc
[@1: Alan is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "big" "+")
Harry is not rough.
Unknown
inv-rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "rough" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
Dave is not red.
Unknown
inv-random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
Dave is not cold.
Unknown
inv-random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
@0: Alan is green.[(triple2)] Alan is rough.[(triple1)] Charlie is nice.[(triple5)] Charlie is red.[(triple4)] Charlie is young.[(triple3)] Harry is big.[(triple9)] Harry is blue.[(triple8)] Harry is green.[(triple7)] Harry is young.[(triple6)] @1: Charlie is green.[(((triple5 triple3) -> rule7))] Harry is kind.[(((triple7 triple6) -> rule4))] @2: Charlie is kind.[(((((triple5 triple3) -> rule7) triple3) -> rule4))] Harry is round.[(((triple7 triple6 ((triple7 triple6) -> rule4)) -> rule1))] @3: Charlie is round.[(((((triple5 triple3) -> rule7) triple3 ((((triple5 triple3) -> rule7) triple3) -> rule4)) -> rule1))] @4: Charlie is big.[(((triple5 ((((triple5 triple3) -> rule7) triple3 ((((triple5 triple3) -> rule7) triple3) -> rule4)) -> rule1) triple4) -> rule3))]
Alan is green.
("Alan" "is" "green" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple5
Charlie is red.
("Charlie" "is" "red" "+")
triple4
Charlie is young.
("Charlie" "is" "young" "+")
triple3
Harry is big.
("Harry" "is" "big" "+")
triple9
Harry is blue.
("Harry" "is" "blue" "+")
triple8
Harry is green.
("Harry" "is" "green" "+")
triple7
Harry is young.
("Harry" "is" "young" "+")
triple6
Charlie is green.
("Charlie" "is" "green" "+")
((triple5 triple3) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
((triple7 triple6) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
((((triple5 triple3) -> (rule7 % int2)) triple3) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
((triple7 triple6 ((triple7 triple6) -> (rule4 % int2))) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
((((triple5 triple3) -> (rule7 % int3)) triple3 ((((triple5 triple3) -> (rule7 % int3)) triple3) -> (rule4 % int2))) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
((triple5 ((((triple5 triple3) -> (rule7 % int4)) triple3 ((((triple5 triple3) -> (rule7 % int4)) triple3) -> (rule4 % int3))) -> (rule1 % int2)) triple4) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Alan is known to be rough and green.
Young, red Charlie is nice.
Harry is too young to be so big; Some say he is too green to be so blue as well.
Most young, green people are kind and because of this they are round.
A person that is blue green and nice are that way because they are still young.
Red and round people are nice to others even though they are big.
A green colored person will be young and also kind.
A person who exhibits nice, kind and cold characteristics will also be a rough person.
A person with the qualities of being cold and being red will also be a person that is green.
A nice and young aged person will definitely be green in color.