Bob is feeling rough, red, nice, green and also blue. Eric who is considered nice was feeling rather rough today. Harry is young, rough and green, but he turns blue when he is cold like anyone else. Big and cold people tend to see red and dont live green lifestyle. Whenever you are around kind and green people, you will notice they are very red. Kind and young people are round. When you meet someone that's rough, kind and nice you'll see they are green as well. Anyone who is round and also cold will surely be big as well. Someone who is kind and young with a round figure will always be red too. People who are rough are often rather kind as well.
Bob is rough.
("Bob" "is" "rough" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is red and big and cold then they are green.
((("someone" "is" "red" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and green then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is young and kind then they are round.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and kind and nice then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is round and cold then they are big.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is round and young and kind then they are red.
((("someone" "is" "round" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
If someone is rough then they are kind.
((("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
Harry is blue.
True
1
proof
[(triple12)]
("Harry" "is" "blue" "+")
triple12
Harry is not young.
False
1
inv-proof
[(triple8)]
("Harry" "is" "young" "-")
triple8
Eric is kind.
True
2
proof
[(((triple6) -> rule7))]
("Eric" "is" "kind" "+")
((triple6) -> (rule7 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Bob is not kind.
False
2
inv-proof
[(((triple1) -> rule7))]
("Bob" "is" "kind" "-")
((triple1) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Harry is round.
True
4
proof
[(((triple8 ((triple9) -> rule7)) -> rule3))]
("Harry" "is" "round" "+")
((triple8 ((triple9) -> (rule7 % int2))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is not round.
False
4
inv-proof
[(((triple8 ((triple9) -> rule7)) -> rule3))]
("Harry" "is" "round" "-")
((triple8 ((triple9) -> (rule7 % int2))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Eric is red.
True
8
proof
[(((((triple6) -> rule7) ((triple6 ((triple6) -> rule7) triple7) -> rule4)) -> rule2))]
("Eric" "is" "red" "+")
((((triple6) -> (rule7 % int3)) ((triple6 ((triple6) -> (rule7 % int3)) triple7) -> (rule4 % int2))) -> (rule2 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Harry is not big.
False
6
inv-proof
[(((((triple8 ((triple9) -> rule7)) -> rule3) triple11) -> rule5))]
("Harry" "is" "big" "-")
((((triple8 ((triple9) -> (rule7 % int3))) -> (rule3 % int2)) triple11) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Eric is not round.
Unknown
inv-rconc
[@1: Eric is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "round" "-")
Eric is big.
Unknown
rconc
[@1: Eric is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "big" "+")
Gary is not big.
Unknown
inv-rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "big" "-")
Gary is round.
Unknown
rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "round" "+")
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Eric is young.
Unknown
random
[@0: Eric is young.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "young" "+")
Eric is not blue.
Unknown
inv-random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
@0: Bob is blue.[(triple5)] Bob is green.[(triple4 OR ((triple1 ((triple1) -> rule7) triple3) -> rule4))] Bob is nice.[(triple3)] Bob is red.[(triple2 OR ((((triple1) -> rule7) triple4) -> rule2) OR ((((triple1) -> rule7) ((triple1 ((triple1) -> rule7) triple3) -> rule4)) -> rule2))] Bob is rough.[(triple1)] Eric is nice.[(triple7)] Eric is rough.[(triple6)] Harry is blue.[(triple12)] Harry is cold.[(triple11)] Harry is green.[(triple10 OR ((((((triple8 ((triple9) -> rule7)) -> rule3) triple8 ((triple9) -> rule7)) -> rule6) ((((triple8 ((triple9) -> rule7)) -> rule3) triple11) -> rule5) triple11) -> rule1))] Harry is rough.[(triple9)] Harry is young.[(triple8)] @1: Bob is kind.[(((triple1) -> rule7))] Eric is kind.[(((triple6) -> rule7))] Harry is kind.[(((triple9) -> rule7))] @2: Eric is green.[(((triple6 ((triple6) -> rule7) triple7) -> rule4))] Harry is red.[(((((triple9) -> rule7) triple10) -> rule2) OR ((((triple8 ((triple9) -> rule7)) -> rule3) triple8 ((triple9) -> rule7)) -> rule6))] Harry is round.[(((triple8 ((triple9) -> rule7)) -> rule3))] @3: Eric is red.[(((((triple6) -> rule7) ((triple6 ((triple6) -> rule7) triple7) -> rule4)) -> rule2))] Harry is big.[(((((triple8 ((triple9) -> rule7)) -> rule3) triple11) -> rule5))]
Bob is blue.
("Bob" "is" "blue" "+")
triple5
Bob is green.
("Bob" "is" "green" "+")
triple4
((triple1 ((triple1) -> (rule7 % int2)) triple3) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple2
((((triple1) -> (rule7 % int2)) triple4) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((((triple1) -> (rule7 % int3)) ((triple1 ((triple1) -> (rule7 % int3)) triple3) -> (rule4 % int2))) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Eric is nice.
("Eric" "is" "nice" "+")
triple7
Eric is rough.
("Eric" "is" "rough" "+")
triple6
Harry is blue.
("Harry" "is" "blue" "+")
triple12
Harry is cold.
("Harry" "is" "cold" "+")
triple11
Harry is green.
("Harry" "is" "green" "+")
triple10
((((((triple8 ((triple9) -> (rule7 % int5))) -> (rule3 % int4)) triple8 ((triple9) -> (rule7 % int5))) -> (rule6 % int3)) ((((triple8 ((triple9) -> (rule7 % int5))) -> (rule3 % int4)) triple11) -> (rule5 % int2)) triple11) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is rough.
("Harry" "is" "rough" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple8
Bob is kind.
("Bob" "is" "kind" "+")
((triple1) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
((triple6) -> (rule7 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
((triple9) -> (rule7 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
((triple6 ((triple6) -> (rule7 % int2)) triple7) -> (rule4 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
((((triple9) -> (rule7 % int2)) triple10) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((((triple8 ((triple9) -> (rule7 % int3))) -> (rule3 % int2)) triple8 ((triple9) -> (rule7 % int3))) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
((triple8 ((triple9) -> (rule7 % int2))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
((((triple6) -> (rule7 % int3)) ((triple6 ((triple6) -> (rule7 % int3)) triple7) -> (rule4 % int2))) -> (rule2 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
((((triple8 ((triple9) -> (rule7 % int3))) -> (rule3 % int2)) triple11) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Bob is feeling rough, red, nice, green and also blue.
Eric who is considered nice was feeling rather rough today.
Harry is young, rough and green, but he turns blue when he is cold like anyone else.
Big and cold people tend to see red and dont live green lifestyle.
Whenever you are around kind and green people, you will notice they are very red.
Kind and young people are round.
When you meet someone that's rough, kind and nice you'll see they are green as well.
Anyone who is round and also cold will surely be big as well.
Someone who is kind and young with a round figure will always be red too.
People who are rough are often rather kind as well.