The bald eagle is round. All nice things are round. All round things are nice. Nice things are kind. All red things are kind. If something is kind and nice then it is red. If something is rough and nice then it is round. All kind things are rough. Kind, round things are rough.
The bald eagle is round.
("bald eagle" "is" "round" "+")
All nice things are round.
((("something" "is" "nice" "+")) -> ("something" "is" "round" "+"))
All round things are nice.
((("something" "is" "round" "+")) -> ("something" "is" "nice" "+"))
Nice things are kind.
((("something" "is" "nice" "+")) -> ("something" "is" "kind" "+"))
All red things are kind.
((("something" "is" "red" "+")) -> ("something" "is" "kind" "+"))
If something is kind and nice then it is red.
((("something" "is" "kind" "+") ("something" "is" "nice" "+")) -> ("something" "is" "red" "+"))
If something is rough and nice then it is round.
((("something" "is" "rough" "+") ("something" "is" "nice" "+")) -> ("something" "is" "round" "+"))
All kind things are rough.
((("something" "is" "kind" "+")) -> ("something" "is" "rough" "+"))
Kind, round things are rough.
((("something" "is" "kind" "+") ("something" "is" "round" "+")) -> ("something" "is" "rough" "+"))
The bald eagle is round.
True
1
proof
[(triple1)]
("bald eagle" "is" "round" "+")
triple1
The bald eagle is not round.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "round" "-")
triple1
The bald eagle is nice.
True
2
proof
[(((triple1) -> rule2))]
("bald eagle" "is" "nice" "+")
((triple1) -> (rule2 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle is not nice.
False
2
inv-proof
[(((triple1) -> rule2))]
("bald eagle" "is" "nice" "-")
((triple1) -> (rule2 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle does not visit the bald eagle.
Unknown
inv-random
[@0: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "bald eagle" "-")
The bald eagle likes the bald eagle.
Unknown
random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "+")
@0: The bald eagle is round.[(triple1)] @1: The bald eagle is nice.[(((triple1) -> rule2))] @2: The bald eagle is kind.[(((((triple1) -> rule2)) -> rule3))] @3: The bald eagle is red.[(((((((triple1) -> rule2)) -> rule3) ((triple1) -> rule2)) -> rule5))] The bald eagle is rough.[(((((((triple1) -> rule2)) -> rule3)) -> rule7) OR ((((((triple1) -> rule2)) -> rule3) triple1) -> rule8))]
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
((triple1) -> (rule2 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
((((triple1) -> (rule2 % int2))) -> (rule3 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The bald eagle is red.
("bald eagle" "is" "red" "+")
((((((triple1) -> (rule2 % int3))) -> (rule3 % int2)) ((triple1) -> (rule2 % int3))) -> (rule5 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int3
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
((((((triple1) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int3
((((((triple1) -> (rule2 % int3))) -> (rule3 % int2)) triple1) -> (rule8 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int3