Big Bob is still young so it's easy for him to be kind. Dave is big and rough. Fred is very young with red hair and green eyes and very nice. Fred is cold most of the times where he lives. Gary gets red when he is mad and tends to act very cold. As far as anyone can tell, whoever is kind, rough, and big is a round person. If you meet a person who is green, big and blue, you will find them to be nice. Being cold and blue made them rough to deal with. A green person is going to be rough. Anyone who is round and also cold will surely be big as well. People who are rough are often rather kind as well. A cold temperatured and rough person who is also green will be big shaped.
Bob is young.
("Bob" "is" "young" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is big.
("Bob" "is" "big" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is big.
("Dave" "is" "big" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is cold.
("Gary" "is" "cold" "+")
If someone is kind and rough and big then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and green and big then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and blue then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is green then they are rough.
((("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and cold then they are big.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is rough then they are kind.
((("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and rough and green then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
Dave is rough.
True
1
proof
[(triple4)]
("Dave" "is" "rough" "+")
triple4
Gary is not cold.
False
1
inv-proof
[(triple12)]
("Gary" "is" "cold" "-")
triple12
Fred is rough.
True
2
proof
[(((triple9) -> rule4))]
("Fred" "is" "rough" "+")
((triple9) -> (rule4 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is not rough.
False
2
inv-proof
[(((triple9) -> rule4))]
("Fred" "is" "rough" "-")
((triple9) -> (rule4 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Dave is round.
True
5
proof
[(((((triple4) -> rule6) triple4 triple5) -> rule1))]
("Dave" "is" "round" "+")
((((triple4) -> (rule6 % int2)) triple4 triple5) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Fred is not kind.
False
3
inv-proof
[(((((triple9) -> rule4)) -> rule6))]
("Fred" "is" "kind" "-")
((((triple9) -> (rule4 % int2))) -> (rule6 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is round.
True
11
proof
[(((((((triple9) -> rule4)) -> rule6) ((triple9) -> rule4) ((triple10 ((triple9) -> rule4) triple9) -> rule7)) -> rule1))]
("Fred" "is" "round" "+")
((((((triple9) -> (rule4 % int4))) -> (rule6 % int3)) ((triple9) -> (rule4 % int4)) ((triple10 ((triple9) -> (rule4 % int4)) triple9) -> (rule7 % int2))) -> (rule1 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Fred is rough.
("Fred" "is" "rough" "+")
int4
Fred is not round.
False
11
inv-proof
[(((((((triple9) -> rule4)) -> rule6) ((triple9) -> rule4) ((triple10 ((triple9) -> rule4) triple9) -> rule7)) -> rule1))]
("Fred" "is" "round" "-")
((((((triple9) -> (rule4 % int4))) -> (rule6 % int3)) ((triple9) -> (rule4 % int4)) ((triple10 ((triple9) -> (rule4 % int4)) triple9) -> (rule7 % int2))) -> (rule1 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Fred is rough.
("Fred" "is" "rough" "+")
int4
Gary is not round.
Unknown
inv-rconc
[@2: Gary is round.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Gary" "is" "round" "-")
Bob is round.
Unknown
rconc
[@2: Bob is round.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Bob" "is" "round" "+")
Bob is not rough.
Unknown
inv-rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "rough" "-")
Dave is nice.
Unknown
rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "nice" "+")
Dave is not blue.
Unknown
inv-random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
Dave is not cold.
Unknown
inv-random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
@0: Bob is big.[(triple3)] Bob is kind.[(triple2)] Bob is young.[(triple1)] Dave is big.[(triple5)] Dave is rough.[(triple4)] Fred is cold.[(triple10)] Fred is green.[(triple9)] Fred is nice.[(triple8)] Fred is red.[(triple7)] Fred is young.[(triple6)] Gary is cold.[(triple12)] Gary is red.[(triple11)] @1: Dave is kind.[(((triple4) -> rule6))] Fred is rough.[(((triple9) -> rule4))] @2: Dave is round.[(((((triple4) -> rule6) triple4 triple5) -> rule1))] Fred is big.[(((triple10 ((triple9) -> rule4) triple9) -> rule7))] Fred is kind.[(((((triple9) -> rule4)) -> rule6))] @3: Fred is round.[(((((((triple9) -> rule4)) -> rule6) ((triple9) -> rule4) ((triple10 ((triple9) -> rule4) triple9) -> rule7)) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple3
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple5
Dave is rough.
("Dave" "is" "rough" "+")
triple4
Fred is cold.
("Fred" "is" "cold" "+")
triple10
Fred is green.
("Fred" "is" "green" "+")
triple9
Fred is nice.
("Fred" "is" "nice" "+")
triple8
Fred is red.
("Fred" "is" "red" "+")
triple7
Fred is young.
("Fred" "is" "young" "+")
triple6
Gary is cold.
("Gary" "is" "cold" "+")
triple12
Gary is red.
("Gary" "is" "red" "+")
triple11
Dave is kind.
("Dave" "is" "kind" "+")
((triple4) -> (rule6 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
((triple9) -> (rule4 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
((((triple4) -> (rule6 % int2)) triple4 triple5) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
((triple10 ((triple9) -> (rule4 % int2)) triple9) -> (rule7 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
((((triple9) -> (rule4 % int2))) -> (rule6 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
((((((triple9) -> (rule4 % int4))) -> (rule6 % int3)) ((triple9) -> (rule4 % int4)) ((triple10 ((triple9) -> (rule4 % int4)) triple9) -> (rule7 % int2))) -> (rule1 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Fred is rough.
("Fred" "is" "rough" "+")
int4
Big Bob is still young so it's easy for him to be kind.
Dave is big and rough.
Fred is very young with red hair and green eyes and very nice; Fred is cold most of the times where he lives.
Gary gets red when he is mad and tends to act very cold.
As far as anyone can tell, whoever is kind, rough, and big is a round person.
If you meet a person who is green, big and blue, you will find them to be nice.
Being cold and blue made them rough to deal with.
A green person is going to be rough.
Anyone who is round and also cold will surely be big as well.
People who are rough are often rather kind as well.
A cold temperatured and rough person who is also green will be big shaped.