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