If you had seen the young round Alan you'd never believe he was the same red, green and rough Alan of today. Others enjoy Dave's company because he is so nice and kind. Even though Eric is big and round, he is cold much of the time. Young Harry is wearing green pants. People who can be kind when they are cold are fundamentally nice. A person who is cold but red, and big in size is young for sure. There could be a round someone with red hair wearing blue pants. If you meet a kind green person with a round shape they will also be young. A round and blue individual will also be a cold individual. Someone with the traits of being cold and red is also going to be someone who is big. Everyone knows that if you are cold, kind, and big, it goes without saying that you are round.
Alan is young.
("Alan" "is" "young" "+")
Alan is round.
("Alan" "is" "round" "+")
Alan is rough.
("Alan" "is" "rough" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is green.
("Alan" "is" "green" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is big.
("Eric" "is" "big" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is kind and cold then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is red and big and cold then they are young.
((("someone" "is" "red" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is red and round then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and green and round then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is round and blue then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and red then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and kind and big then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
Alan is round.
True
1
proof
[(triple2)]
("Alan" "is" "round" "+")
triple2
Dave is not nice.
False
1
inv-proof
[(triple6)]
("Dave" "is" "nice" "-")
triple6
Alan is blue.
True
3
proof
[(((triple4 triple2) -> rule3))]
("Alan" "is" "blue" "+")
((triple4 triple2) -> (rule3 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is not blue.
False
3
inv-proof
[(((triple4 triple2) -> rule3))]
("Alan" "is" "blue" "-")
((triple4 triple2) -> (rule3 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is cold.
True
5
proof
[(((triple2 ((triple4 triple2) -> rule3)) -> rule5))]
("Alan" "is" "cold" "+")
((triple2 ((triple4 triple2) -> (rule3 % int2))) -> (rule5 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is not cold.
False
5
inv-proof
[(((triple2 ((triple4 triple2) -> rule3)) -> rule5))]
("Alan" "is" "cold" "-")
((triple2 ((triple4 triple2) -> (rule3 % int2))) -> (rule5 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is big.
True
7
proof
[(((((triple2 ((triple4 triple2) -> rule3)) -> rule5) triple4) -> rule6))]
("Alan" "is" "big" "+")
((((triple2 ((triple4 triple2) -> (rule3 % int3))) -> (rule5 % int2)) triple4) -> (rule6 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Alan is not big.
False
7
inv-proof
[(((((triple2 ((triple4 triple2) -> rule3)) -> rule5) triple4) -> rule6))]
("Alan" "is" "big" "-")
((((triple2 ((triple4 triple2) -> (rule3 % int3))) -> (rule5 % int2)) triple4) -> (rule6 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Eric is not blue.
Unknown
inv-rconc
[@1: Eric is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "blue" "-")
Alan is nice.
Unknown
rconc
[@1: Alan is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "nice" "+")
Harry is not round.
Unknown
inv-rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Harry" "is" "round" "-")
Dave is young.
Unknown
rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "young" "+")
Eric is not green.
Unknown
inv-random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
Eric is not rough.
Unknown
inv-random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "-")
Eric is red.
Unknown
random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "+")
@0: Alan is green.[(triple5)] Alan is red.[(triple4)] Alan is rough.[(triple3)] Alan is round.[(triple2)] Alan is young.[(triple1 OR ((triple4 ((((triple2 ((triple4 triple2) -> rule3)) -> rule5) triple4) -> rule6) ((triple2 ((triple4 triple2) -> rule3)) -> rule5)) -> rule2))] Dave is kind.[(triple7)] Dave is nice.[(triple6)] Eric is big.[(triple10)] Eric is cold.[(triple9)] Eric is round.[(triple8)] Harry is green.[(triple12)] Harry is young.[(triple11)] @1: Alan is blue.[(((triple4 triple2) -> rule3))] @2: Alan is cold.[(((triple2 ((triple4 triple2) -> rule3)) -> rule5))] @3: Alan is big.[(((((triple2 ((triple4 triple2) -> rule3)) -> rule5) triple4) -> rule6))]
Alan is green.
("Alan" "is" "green" "+")
triple5
Alan is red.
("Alan" "is" "red" "+")
triple4
Alan is rough.
("Alan" "is" "rough" "+")
triple3
Alan is round.
("Alan" "is" "round" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
((triple4 ((((triple2 ((triple4 triple2) -> (rule3 % int4))) -> (rule5 % int3)) triple4) -> (rule6 % int2)) ((triple2 ((triple4 triple2) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is blue.
("Alan" "is" "blue" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
triple7
Dave is nice.
("Dave" "is" "nice" "+")
triple6
Eric is big.
("Eric" "is" "big" "+")
triple10
Eric is cold.
("Eric" "is" "cold" "+")
triple9
Eric is round.
("Eric" "is" "round" "+")
triple8
Harry is green.
("Harry" "is" "green" "+")
triple12
Harry is young.
("Harry" "is" "young" "+")
triple11
Alan is blue.
("Alan" "is" "blue" "+")
((triple4 triple2) -> (rule3 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
((triple2 ((triple4 triple2) -> (rule3 % int2))) -> (rule5 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
((((triple2 ((triple4 triple2) -> (rule3 % int3))) -> (rule5 % int2)) triple4) -> (rule6 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
If you had seen the young round Alan you'd never believe he was the same red, green and rough Alan of today.
Others enjoy Dave's company because he is so nice and kind.
Even though Eric is big and round, he is cold much of the time.
Young Harry is wearing green pants.
People who can be kind when they are cold are fundamentally nice.
A person who is cold but red, and big in size is young for sure.
There could be a round someone with red hair wearing blue pants.
If you meet a kind green person with a round shape they will also be young.
A round and blue individual will also be a cold individual.
Someone with the traits of being cold and red is also going to be someone who is big.
Everyone knows that if you are cold, kind, and big, it goes without saying that you are round.