The dog is big. The dog is green. The dog is kind. The dog is round. The dog is young. Kind people are young. Round, kind people are big. If someone is young then they are big. If someone is round and kind then they are green. Big people are round. If the dog is round and the dog is kind then the dog is big.
The dog is big.
("dog" "is" "big" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is round.
("dog" "is" "round" "+")
The dog is young.
("dog" "is" "young" "+")
Kind people are young.
((("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
Round, kind people are big.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is young then they are big.
((("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If someone is round and kind then they are green.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
Big people are round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If the dog is round and the dog is kind then the dog is big.
((("dog" "is" "round" "+") ("dog" "is" "kind" "+")) -> ("dog" "is" "big" "+"))
The dog is young.
True
1
proof
[(triple5 OR ((triple3) -> rule1))]
("dog" "is" "young" "+")
triple5
((triple3) -> (rule1 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog is not young.
False
1
inv-proof
[(triple5 OR ((triple3) -> rule1))]
("dog" "is" "young" "-")
triple5
((triple3) -> (rule1 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog does not visit the dog.
Unknown
inv-random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "-")
The dog sees the dog.
Unknown
random
[@0: The dog sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "dog" "+")
@0: The dog is big.[(triple1 OR ((triple5) -> rule3) OR ((triple4 triple3) -> rule2) OR ((triple4 triple3) -> rule6) OR ((((triple3) -> rule1)) -> rule3))] The dog is green.[(triple2 OR ((triple4 triple3) -> rule4) OR ((((triple1) -> rule5) triple3) -> rule4) OR ((((((triple5) -> rule3)) -> rule5) triple3) -> rule4) OR ((((((((triple3) -> rule1)) -> rule3)) -> rule5) triple3) -> rule4))] The dog is kind.[(triple3)] The dog is round.[(triple4 OR ((triple1) -> rule5) OR ((((triple5) -> rule3)) -> rule5) OR ((((((triple3) -> rule1)) -> rule3)) -> rule5))] The dog is young.[(triple5 OR ((triple3) -> rule1))]
The dog is big.
("dog" "is" "big" "+")
triple1
((triple5) -> (rule3 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
((triple4 triple3) -> (rule2 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
((triple4 triple3) -> (rule6 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
((((triple3) -> (rule1 % int2))) -> (rule3 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog is young.
("dog" "is" "young" "+")
int2
The dog is green.
("dog" "is" "green" "+")
triple2
((triple4 triple3) -> (rule4 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
((((triple1) -> (rule5 % int2)) triple3) -> (rule4 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
((((((triple5) -> (rule3 % int3))) -> (rule5 % int2)) triple3) -> (rule4 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog is big.
("dog" "is" "big" "+")
int3
((((((((triple3) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) triple3) -> (rule4 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog is big.
("dog" "is" "big" "+")
int3
The dog is young.
("dog" "is" "young" "+")
int4
The dog is kind.
("dog" "is" "kind" "+")
triple3
The dog is round.
("dog" "is" "round" "+")
triple4
((triple1) -> (rule5 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
((((triple5) -> (rule3 % int2))) -> (rule5 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is big.
("dog" "is" "big" "+")
int2
((((((triple3) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is big.
("dog" "is" "big" "+")
int2
The dog is young.
("dog" "is" "young" "+")
int3
The dog is young.
("dog" "is" "young" "+")
triple5
((triple3) -> (rule1 % int1))
The dog is young.
("dog" "is" "young" "+")
int1