The dog is green. The dog is nice. The dog is red. The dog is round. The dog is young. Red, nice people are green. If someone is red and not nice then they are green. Young, nice people are green. Nice, young people are red. All red, young people are round. All red, nice people are round. All round, red people are young. If the dog is red then the dog is round.
The dog is green.
("dog" "is" "green" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is red.
("dog" "is" "red" "+")
The dog is round.
("dog" "is" "round" "+")
The dog is young.
("dog" "is" "young" "+")
Red, nice people are green.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is red and not nice then they are green.
((("someone" "is" "red" "+") ("someone" "is" "nice" "~")) -> ("someone" "is" "green" "+"))
Young, nice people are green.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
Nice, young people are red.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
All red, young people are round.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
All red, nice people are round.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
All round, red people are young.
((("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If the dog is red then the dog is round.
((("dog" "is" "red" "+")) -> ("dog" "is" "round" "+"))
The dog is green.
True
1
proof
[(triple1 OR ((triple3 triple2) -> rule1) OR ((triple5 triple2) -> rule3) OR ((((triple2 triple5) -> rule4) triple2) -> rule1) OR ((((triple4 triple3) -> rule7) triple2) -> rule3) OR ((((((triple3) -> rule8) triple3) -> rule7) triple2) -> rule3) OR ((((((triple3 triple2) -> rule6) triple3) -> rule7) triple2) -> rule3))]
("dog" "is" "green" "+")
triple1
((triple3 triple2) -> (rule1 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
((triple5 triple2) -> (rule3 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
((((triple2 triple5) -> (rule4 % int2)) triple2) -> (rule1 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is red.
("dog" "is" "red" "+")
int2
((((triple4 triple3) -> (rule7 % int2)) triple2) -> (rule3 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is young.
("dog" "is" "young" "+")
int2
((((((triple3) -> (rule8 % int3)) triple3) -> (rule7 % int2)) triple2) -> (rule3 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is young.
("dog" "is" "young" "+")
int2
The dog is round.
("dog" "is" "round" "+")
int3
((((((triple3 triple2) -> (rule6 % int3)) triple3) -> (rule7 % int2)) triple2) -> (rule3 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is young.
("dog" "is" "young" "+")
int2
The dog is round.
("dog" "is" "round" "+")
int3
The dog is not red.
False
1
inv-proof
[(triple3 OR ((triple2 triple5) -> rule4))]
("dog" "is" "red" "-")
triple3
((triple2 triple5) -> (rule4 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The dog does not eat the dog.
Unknown
inv-random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "-")
The dog likes the dog.
Unknown
random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "+")
@0: The dog is green.[(triple1 OR ((triple3 triple2) -> rule1) OR ((triple5 triple2) -> rule3) OR ((((triple2 triple5) -> rule4) triple2) -> rule1) OR ((((triple4 triple3) -> rule7) triple2) -> rule3) OR ((((((triple3) -> rule8) triple3) -> rule7) triple2) -> rule3) OR ((((((triple3 triple2) -> rule6) triple3) -> rule7) triple2) -> rule3))] The dog is nice.[(triple2)] The dog is red.[(triple3 OR ((triple2 triple5) -> rule4))] The dog is round.[(triple4 OR ((triple3) -> rule8) OR ((triple3 triple2) -> rule6) OR ((triple3 triple5) -> rule5) OR ((((triple2 triple5) -> rule4)) -> rule8) OR ((((triple2 triple5) -> rule4) triple2) -> rule6) OR ((((triple2 triple5) -> rule4) triple5) -> rule5))] The dog is young.[(triple5 OR ((triple4 triple3) -> rule7) OR ((((triple3) -> rule8) triple3) -> rule7) OR ((((triple3 triple2) -> rule6) triple3) -> rule7))]
The dog is green.
("dog" "is" "green" "+")
triple1
((triple3 triple2) -> (rule1 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
((triple5 triple2) -> (rule3 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
((((triple2 triple5) -> (rule4 % int2)) triple2) -> (rule1 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is red.
("dog" "is" "red" "+")
int2
((((triple4 triple3) -> (rule7 % int2)) triple2) -> (rule3 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is young.
("dog" "is" "young" "+")
int2
((((((triple3) -> (rule8 % int3)) triple3) -> (rule7 % int2)) triple2) -> (rule3 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is young.
("dog" "is" "young" "+")
int2
The dog is round.
("dog" "is" "round" "+")
int3
((((((triple3 triple2) -> (rule6 % int3)) triple3) -> (rule7 % int2)) triple2) -> (rule3 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is young.
("dog" "is" "young" "+")
int2
The dog is round.
("dog" "is" "round" "+")
int3
The dog is nice.
("dog" "is" "nice" "+")
triple2
The dog is red.
("dog" "is" "red" "+")
triple3
((triple2 triple5) -> (rule4 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The dog is round.
("dog" "is" "round" "+")
triple4
((triple3) -> (rule8 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
((triple3 triple2) -> (rule6 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
((triple3 triple5) -> (rule5 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
((((triple2 triple5) -> (rule4 % int2))) -> (rule8 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is red.
("dog" "is" "red" "+")
int2
((((triple2 triple5) -> (rule4 % int2)) triple2) -> (rule6 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is red.
("dog" "is" "red" "+")
int2
((((triple2 triple5) -> (rule4 % int2)) triple5) -> (rule5 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is red.
("dog" "is" "red" "+")
int2
The dog is young.
("dog" "is" "young" "+")
triple5
((triple4 triple3) -> (rule7 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
((((triple3) -> (rule8 % int2)) triple3) -> (rule7 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
((((triple3 triple2) -> (rule6 % int2)) triple3) -> (rule7 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2