Big, round Alan is cold and very green. Young Charlie is wearing green pants. Dave is red when he is rough and blue when he is kind. Red Harry is what folks call him, because he is quite red. A young aged blue person will certainly be nice. Rough and cold and blue people are round. If a kind, red person is also feeling blue then he will be cold to outsiders. Someone big and rough in shape is always kind. A round and blue individual will also be a cold individual. Kind people who are also rough are young. A nice and young aged person will definitely be green in color.
Alan is round.
("Alan" "is" "round" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Alan is big.
("Alan" "is" "big" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Harry is red.
("Harry" "is" "red" "+")
If someone is young and blue then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and blue and cold then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and red and blue then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and rough then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is round and blue then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and kind then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and young then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
Dave is kind.
True
1
proof
[(triple9)]
("Dave" "is" "kind" "+")
triple9
Harry is not red.
False
1
inv-proof
[(triple11)]
("Harry" "is" "red" "-")
triple11
Dave is cold.
True
4
proof
[(((triple9 triple8 triple10) -> rule3))]
("Dave" "is" "cold" "+")
((triple9 triple8 triple10) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is not cold.
False
4
inv-proof
[(((triple9 triple8 triple10) -> rule3))]
("Dave" "is" "cold" "-")
((triple9 triple8 triple10) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is round.
True
7
proof
[(((triple7 triple10 ((triple9 triple8 triple10) -> rule3)) -> rule2))]
("Dave" "is" "round" "+")
((triple7 triple10 ((triple9 triple8 triple10) -> (rule3 % int2))) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is not nice.
False
5
inv-proof
[(((((triple7 triple9) -> rule6) triple10) -> rule1))]
("Dave" "is" "nice" "-")
((((triple7 triple9) -> (rule6 % int2)) triple10) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
True
9
proof
[(((((((triple7 triple9) -> rule6) triple10) -> rule1) ((triple7 triple9) -> rule6)) -> rule7))]
("Dave" "is" "green" "+")
((((((triple7 triple9) -> (rule6 % int3)) triple10) -> (rule1 % int2)) ((triple7 triple9) -> (rule6 % int3))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is not green.
False
9
inv-proof
[(((((((triple7 triple9) -> rule6) triple10) -> rule1) ((triple7 triple9) -> rule6)) -> rule7))]
("Dave" "is" "green" "-")
((((((triple7 triple9) -> (rule6 % int3)) triple10) -> (rule1 % int2)) ((triple7 triple9) -> (rule6 % int3))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Harry is not young.
Unknown
inv-rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "young" "-")
Harry is cold.
Unknown
rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "cold" "+")
Harry is not nice.
Unknown
inv-rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "nice" "-")
Harry is round.
Unknown
rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "round" "+")
Harry is not big.
Unknown
inv-random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
Charlie is not blue.
Unknown
inv-random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "-")
Alan is rough.
Unknown
random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "+")
@0: Alan is big.[(triple4)] Alan is cold.[(triple3)] Alan is green.[(triple2)] Alan is round.[(triple1)] Charlie is green.[(triple6)] Charlie is young.[(triple5)] Dave is blue.[(triple10)] Dave is kind.[(triple9)] Dave is red.[(triple8)] Dave is rough.[(triple7)] Harry is red.[(triple11)] @1: Dave is cold.[(((triple9 triple8 triple10) -> rule3))] Dave is young.[(((triple7 triple9) -> rule6))] @2: Dave is nice.[(((((triple7 triple9) -> rule6) triple10) -> rule1))] Dave is round.[(((triple7 triple10 ((triple9 triple8 triple10) -> rule3)) -> rule2))] @3: Dave is green.[(((((((triple7 triple9) -> rule6) triple10) -> rule1) ((triple7 triple9) -> rule6)) -> rule7))]
Alan is big.
("Alan" "is" "big" "+")
triple4
Alan is cold.
("Alan" "is" "cold" "+")
triple3
Alan is green.
("Alan" "is" "green" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple6
Charlie is young.
("Charlie" "is" "young" "+")
triple5
Dave is blue.
("Dave" "is" "blue" "+")
triple10
Dave is kind.
("Dave" "is" "kind" "+")
triple9
Dave is red.
("Dave" "is" "red" "+")
triple8
Dave is rough.
("Dave" "is" "rough" "+")
triple7
Harry is red.
("Harry" "is" "red" "+")
triple11
Dave is cold.
("Dave" "is" "cold" "+")
((triple9 triple8 triple10) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
((triple7 triple9) -> (rule6 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
((((triple7 triple9) -> (rule6 % int2)) triple10) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
((triple7 triple10 ((triple9 triple8 triple10) -> (rule3 % int2))) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
((((((triple7 triple9) -> (rule6 % int3)) triple10) -> (rule1 % int2)) ((triple7 triple9) -> (rule6 % int3))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Big, round Alan is cold and very green.
Young Charlie is wearing green pants.
Dave is red when he is rough and blue when he is kind.
Red Harry is what folks call him, because he is quite red.
A young aged blue person will certainly be nice.
Rough and cold and blue people are round.
If a kind, red person is also feeling blue then he will be cold to outsiders.
Someone big and rough in shape is always kind.
A round and blue individual will also be a cold individual.
Kind people who are also rough are young.
A nice and young aged person will definitely be green in color.