Harry is young. Kind people are green. If Harry is young then Harry is kind. All green, kind people are round.
Harry is young.
("Harry" "is" "young" "+")
Kind people are green.
((("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If Harry is young then Harry is kind.
((("Harry" "is" "young" "+")) -> ("Harry" "is" "kind" "+"))
All green, kind people are round.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
Harry is young.
True
1
proof
[(triple1)]
("Harry" "is" "young" "+")
triple1
Harry is not young.
False
1
inv-proof
[(triple1)]
("Harry" "is" "young" "-")
triple1
Harry is kind.
True
2
proof
[(((triple1) -> rule2))]
("Harry" "is" "kind" "+")
((triple1) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is not kind.
False
2
inv-proof
[(((triple1) -> rule2))]
("Harry" "is" "kind" "-")
((triple1) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is green.
True
3
proof
[(((((triple1) -> rule2)) -> rule1))]
("Harry" "is" "green" "+")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is not green.
False
3
inv-proof
[(((((triple1) -> rule2)) -> rule1))]
("Harry" "is" "green" "-")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is round.
True
6
proof
[(((((((triple1) -> rule2)) -> rule1) ((triple1) -> rule2)) -> rule3))]
("Harry" "is" "round" "+")
((((((triple1) -> (rule2 % int3))) -> (rule1 % int2)) ((triple1) -> (rule2 % int3))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is not round.
False
6
inv-proof
[(((((((triple1) -> rule2)) -> rule1) ((triple1) -> rule2)) -> rule3))]
("Harry" "is" "round" "-")
((((((triple1) -> (rule2 % int3))) -> (rule1 % int2)) ((triple1) -> (rule2 % int3))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is not nice.
Unknown
inv-random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
@0: Harry is young.[(triple1)] @1: Harry is kind.[(((triple1) -> rule2))] @2: Harry is green.[(((((triple1) -> rule2)) -> rule1))] @3: Harry is round.[(((((((triple1) -> rule2)) -> rule1) ((triple1) -> rule2)) -> rule3))]
Harry is young.
("Harry" "is" "young" "+")
triple1
Harry is kind.
("Harry" "is" "kind" "+")
((triple1) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
((((((triple1) -> (rule2 % int3))) -> (rule1 % int2)) ((triple1) -> (rule2 % int3))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3