Alan is round shaped and green colored. Charlie ate some rotten meat and now feels green. Young Fred was a round fellow. He liked to be green and blue. Fred was big for his age. Big, red Harry is quite kind. Big people who are red in color are often nice. When a person's traits are to be big, blue and cold, they will also have a red trait. If you color the young ones blue then they will be kind. When you meet kind people they wont have a cold heart. A person that is the color red will definitely be round shaped. Someone who happens to be cold and green and big all at once must also be round in shape. Young and nice people are ultimately cold.
Alan is round.
("Alan" "is" "round" "+")
Alan is green.
("Alan" "is" "green" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Fred is big.
("Fred" "is" "big" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is big and red then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and cold and blue then they are red.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and young then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind then they are cold.
((("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is red then they are round.
((("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and green and big then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is young and nice then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
Harry is kind.
True
1
proof
[(triple10)]
("Harry" "is" "kind" "+")
triple10
Alan is not green.
False
1
inv-proof
[(triple2)]
("Alan" "is" "green" "-")
triple2
Fred is kind.
True
3
proof
[(((triple7 triple4) -> rule3))]
("Fred" "is" "kind" "+")
((triple7 triple4) -> (rule3 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Harry is not round.
False
2
inv-proof
[(((triple9) -> rule5))]
("Harry" "is" "round" "-")
((triple9) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Fred is cold.
True
4
proof
[(((((triple7 triple4) -> rule3)) -> rule4))]
("Fred" "is" "cold" "+")
((((triple7 triple4) -> (rule3 % int2))) -> (rule4 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is not cold.
False
4
inv-proof
[(((((triple7 triple4) -> rule3)) -> rule4))]
("Fred" "is" "cold" "-")
((((triple7 triple4) -> (rule3 % int2))) -> (rule4 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is red.
True
7
proof
[(((triple8 ((((triple7 triple4) -> rule3)) -> rule4) triple7) -> rule2))]
("Fred" "is" "red" "+")
((triple8 ((((triple7 triple4) -> (rule3 % int3))) -> (rule4 % int2)) triple7) -> (rule2 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Fred is not red.
False
7
inv-proof
[(((triple8 ((((triple7 triple4) -> rule3)) -> rule4) triple7) -> rule2))]
("Fred" "is" "red" "-")
((triple8 ((((triple7 triple4) -> (rule3 % int3))) -> (rule4 % int2)) triple7) -> (rule2 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Fred is nice.
True
9
proof
[(((triple8 ((triple8 ((((triple7 triple4) -> rule3)) -> rule4) triple7) -> rule2)) -> rule1))]
("Fred" "is" "nice" "+")
((triple8 ((triple8 ((((triple7 triple4) -> (rule3 % int4))) -> (rule4 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Fred is kind.
("Fred" "is" "kind" "+")
int4
Fred is not nice.
False
9
inv-proof
[(((triple8 ((triple8 ((((triple7 triple4) -> rule3)) -> rule4) triple7) -> rule2)) -> rule1))]
("Fred" "is" "nice" "-")
((triple8 ((triple8 ((((triple7 triple4) -> (rule3 % int4))) -> (rule4 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Fred is kind.
("Fred" "is" "kind" "+")
int4
Alan is not kind.
Unknown
inv-rconc
[@1: Alan is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "kind" "-")
Charlie is red.
Unknown
rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "red" "+")
Alan is not cold.
Unknown
inv-rconc
[@2: Alan is cold.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("Alan" "is" "cold" "-")
Alan is red.
Unknown
rconc
[@1: Alan is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "red" "+")
Charlie is not kind.
Unknown
inv-rconc
[@1: Charlie is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "kind" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
Alan is not big.
Unknown
inv-random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
Charlie is not rough.
Unknown
inv-random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "-")
Fred is rough.
Unknown
random
[@0: Fred is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "rough" "+")
@0: Alan is green.[(triple2)] Alan is round.[(triple1)] Charlie is green.[(triple3)] Fred is big.[(triple8)] Fred is blue.[(triple7)] Fred is green.[(triple6)] Fred is round.[(triple5 OR ((((((triple7 triple4) -> rule3)) -> rule4) triple6 triple8) -> rule6) OR ((((triple8 ((((triple7 triple4) -> rule3)) -> rule4) triple7) -> rule2)) -> rule5))] Fred is young.[(triple4)] Harry is big.[(triple11)] Harry is kind.[(triple10)] Harry is red.[(triple9)] @1: Fred is kind.[(((triple7 triple4) -> rule3))] Harry is cold.[(((triple10) -> rule4))] Harry is nice.[(((triple11 triple9) -> rule1))] Harry is round.[(((triple9) -> rule5))] @2: Fred is cold.[(((((triple7 triple4) -> rule3)) -> rule4))] @3: Fred is red.[(((triple8 ((((triple7 triple4) -> rule3)) -> rule4) triple7) -> rule2))] @4: Fred is nice.[(((triple8 ((triple8 ((((triple7 triple4) -> rule3)) -> rule4) triple7) -> rule2)) -> rule1))]
Alan is green.
("Alan" "is" "green" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple3
Fred is big.
("Fred" "is" "big" "+")
triple8
Fred is blue.
("Fred" "is" "blue" "+")
triple7
Fred is green.
("Fred" "is" "green" "+")
triple6
Fred is round.
("Fred" "is" "round" "+")
triple5
((((((triple7 triple4) -> (rule3 % int3))) -> (rule4 % int2)) triple6 triple8) -> (rule6 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
((((triple8 ((((triple7 triple4) -> (rule3 % int4))) -> (rule4 % int3)) triple7) -> (rule2 % int2))) -> (rule5 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Fred is kind.
("Fred" "is" "kind" "+")
int4
Fred is young.
("Fred" "is" "young" "+")
triple4
Harry is big.
("Harry" "is" "big" "+")
triple11
Harry is kind.
("Harry" "is" "kind" "+")
triple10
Harry is red.
("Harry" "is" "red" "+")
triple9
Fred is kind.
("Fred" "is" "kind" "+")
((triple7 triple4) -> (rule3 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
((triple10) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
((triple11 triple9) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((triple9) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
((((triple7 triple4) -> (rule3 % int2))) -> (rule4 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
((triple8 ((((triple7 triple4) -> (rule3 % int3))) -> (rule4 % int2)) triple7) -> (rule2 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Fred is nice.
("Fred" "is" "nice" "+")
((triple8 ((triple8 ((((triple7 triple4) -> (rule3 % int4))) -> (rule4 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Fred is kind.
("Fred" "is" "kind" "+")
int4
Alan is round shaped and green colored.
Charlie ate some rotten meat and now feels green.
Young Fred was a round fellow; He liked to be green and blue; Fred was big for his age.
Big, red Harry is quite kind.
Big people who are red in color are often nice.
When a person's traits are to be big, blue and cold, they will also have a red trait.
If you color the young ones blue then they will be kind.
When you meet kind people they wont have a cold heart.
A person that is the color red will definitely be round shaped.
Someone who happens to be cold and green and big all at once must also be round in shape.
Young and nice people are ultimately cold.