The dog is big. The dog is blue. The dog is nice. The dog is round. The dog is young. If the dog is nice and the dog is blue then the dog is big. All young people are round. Nice, young people are round.
The dog is big.
("dog" "is" "big" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is round.
("dog" "is" "round" "+")
The dog is young.
("dog" "is" "young" "+")
If the dog is nice and the dog is blue then the dog is big.
((("dog" "is" "nice" "+") ("dog" "is" "blue" "+")) -> ("dog" "is" "big" "+"))
All young people are round.
((("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
Nice, young people are round.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
The dog is nice.
True
1
proof
[(triple3)]
("dog" "is" "nice" "+")
triple3
The dog is not young.
False
1
inv-proof
[(triple5)]
("dog" "is" "young" "-")
triple5
The dog does not see the dog.
Unknown
inv-random
[@0: The dog sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "dog" "-")
The dog chases the dog.
Unknown
random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "+")
@0: The dog is big.[(triple1 OR ((triple3 triple2) -> rule1))] The dog is blue.[(triple2)] The dog is nice.[(triple3)] The dog is round.[(triple4 OR ((triple5) -> rule2) OR ((triple3 triple5) -> rule3))] The dog is young.[(triple5)]
The dog is big.
("dog" "is" "big" "+")
triple1
((triple3 triple2) -> (rule1 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog is blue.
("dog" "is" "blue" "+")
triple2
The dog is nice.
("dog" "is" "nice" "+")
triple3
The dog is round.
("dog" "is" "round" "+")
triple4
((triple5) -> (rule2 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
((triple3 triple5) -> (rule3 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is young.
("dog" "is" "young" "+")
triple5