The dog is big. The dog is blue. The dog is green. The dog is nice. The dog is rough. Blue, rough people are nice. If someone is big and rough then they are green. All green people are blue.
The dog is big.
("dog" "is" "big" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is rough.
("dog" "is" "rough" "+")
Blue, rough people are nice.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and rough then they are green.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
All green people are blue.
((("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
The dog is rough.
True
1
proof
[(triple5)]
("dog" "is" "rough" "+")
triple5
The dog is not green.
False
1
inv-proof
[(triple3 OR ((triple1 triple5) -> rule2))]
("dog" "is" "green" "-")
triple3
((triple1 triple5) -> (rule2 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog does not need the dog.
Unknown
inv-random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "-")
The dog visits the dog.
Unknown
random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "+")
@0: The dog is big.[(triple1)] The dog is blue.[(triple2 OR ((triple3) -> rule3) OR ((((triple1 triple5) -> rule2)) -> rule3))] The dog is green.[(triple3 OR ((triple1 triple5) -> rule2))] The dog is nice.[(triple4 OR ((triple2 triple5) -> rule1) OR ((((triple3) -> rule3) triple5) -> rule1) OR ((((((triple1 triple5) -> rule2)) -> rule3) triple5) -> rule1))] The dog is rough.[(triple5)]
The dog is big.
("dog" "is" "big" "+")
triple1
The dog is blue.
("dog" "is" "blue" "+")
triple2
((triple3) -> (rule3 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
((((triple1 triple5) -> (rule2 % int2))) -> (rule3 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The dog is green.
("dog" "is" "green" "+")
int2
The dog is green.
("dog" "is" "green" "+")
triple3
((triple1 triple5) -> (rule2 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
triple4
((triple2 triple5) -> (rule1 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
((((triple3) -> (rule3 % int2)) triple5) -> (rule1 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The dog is blue.
("dog" "is" "blue" "+")
int2
((((((triple1 triple5) -> (rule2 % int3))) -> (rule3 % int2)) triple5) -> (rule1 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The dog is blue.
("dog" "is" "blue" "+")
int2
The dog is green.
("dog" "is" "green" "+")
int3
The dog is rough.
("dog" "is" "rough" "+")
triple5