The bald eagle likes the tiger. The bald eagle visits the tiger. The tiger is rough. If someone is rough then they chase the tiger. If someone is nice and rough then they visit the bald eagle.
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
If someone is rough then they chase the tiger.
((("someone" "is" "rough" "+")) -> ("someone" "chases" "tiger" "+"))
If someone is nice and rough then they visit the bald eagle.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "visits" "bald eagle" "+"))
The tiger is rough.
True
1
proof
[(triple3)]
("tiger" "is" "rough" "+")
triple3
The tiger is not rough.
False
1
inv-proof
[(triple3)]
("tiger" "is" "rough" "-")
triple3
The tiger chases the tiger.
True
2
proof
[(((triple3) -> rule1))]
("tiger" "chases" "tiger" "+")
((triple3) -> (rule1 % int1))
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int1
The tiger does not chase the tiger.
False
2
inv-proof
[(((triple3) -> rule1))]
("tiger" "chases" "tiger" "-")
((triple3) -> (rule1 % int1))
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int1
The bald eagle does not chase the tiger.
Unknown
inv-rconc
[@1: The bald eagle chases the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "chases" "tiger" "-")
The bald eagle visits the bald eagle.
Unknown
rconc
[@1: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "visits" "bald eagle" "+")
The tiger is not cold.
Unknown
inv-random
[@0: The tiger is cold.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "cold" "-")
The tiger likes the tiger.
Unknown
random
[@0: The tiger likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "tiger" "+")
@0: The bald eagle likes the tiger.[(triple1)] The bald eagle visits the tiger.[(triple2)] The tiger is rough.[(triple3)] @1: The tiger chases the tiger.[(((triple3) -> rule1))]
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple1
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
triple2
The tiger is rough.
("tiger" "is" "rough" "+")
triple3
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
((triple3) -> (rule1 % int1))
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int1