Charlie is blue. Charlie is red. Charlie is round. If Charlie is kind and Charlie is round then Charlie is smart. All blue, red things are kind.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is round.
("Charlie" "is" "round" "+")
If Charlie is kind and Charlie is round then Charlie is smart.
((("Charlie" "is" "kind" "+") ("Charlie" "is" "round" "+")) -> ("Charlie" "is" "smart" "+"))
All blue, red things are kind.
((("something" "is" "blue" "+") ("something" "is" "red" "+")) -> ("something" "is" "kind" "+"))
Charlie is round.
True
1
proof
[(triple3)]
("Charlie" "is" "round" "+")
triple3
Charlie is not red.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "red" "-")
triple2
Charlie is kind.
True
3
proof
[(((triple1 triple2) -> rule2))]
("Charlie" "is" "kind" "+")
((triple1 triple2) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is not kind.
False
3
inv-proof
[(((triple1 triple2) -> rule2))]
("Charlie" "is" "kind" "-")
((triple1 triple2) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
True
5
proof
[(((((triple1 triple2) -> rule2) triple3) -> rule1))]
("Charlie" "is" "smart" "+")
((((triple1 triple2) -> (rule2 % int2)) triple3) -> (rule1 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is not smart.
False
5
inv-proof
[(((((triple1 triple2) -> rule2) triple3) -> rule1))]
("Charlie" "is" "smart" "-")
((((triple1 triple2) -> (rule2 % int2)) triple3) -> (rule1 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is not white.
Unknown
inv-random
[@0: Charlie is white.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "white" "-")
Charlie is furry.
Unknown
random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "+")
@0: Charlie is blue.[(triple1)] Charlie is red.[(triple2)] Charlie is round.[(triple3)] @1: Charlie is kind.[(((triple1 triple2) -> rule2))] @2: Charlie is smart.[(((((triple1 triple2) -> rule2) triple3) -> rule1))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Charlie is red.
("Charlie" "is" "red" "+")
triple2
Charlie is round.
("Charlie" "is" "round" "+")
triple3
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple1 triple2) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
((((triple1 triple2) -> (rule2 % int2)) triple3) -> (rule1 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2