Charlie is not quiet. Gary is round. Harry is green. If someone is round then they are big. If someone is green then they are round.
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
Gary is round.
("Gary" "is" "round" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is round then they are big.
((("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is green then they are round.
((("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
Charlie is not quiet.
True
1
proof
[(triple1)]
("Charlie" "is" "quiet" "-")
triple1
Harry is not green.
False
1
inv-proof
[(triple3)]
("Harry" "is" "green" "-")
triple3
Harry is round.
True
2
proof
[(((triple3) -> rule2))]
("Harry" "is" "round" "+")
((triple3) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is not round.
False
2
inv-proof
[(((triple3) -> rule2))]
("Harry" "is" "round" "-")
((triple3) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is big.
True
3
proof
[(((((triple3) -> rule2)) -> rule1))]
("Harry" "is" "big" "+")
((((triple3) -> (rule2 % int2))) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is not big.
False
3
inv-proof
[(((((triple3) -> rule2)) -> rule1))]
("Harry" "is" "big" "-")
((((triple3) -> (rule2 % int2))) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Charlie is not round.
Unknown
inv-rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "round" "-")
Charlie is big.
Unknown
rconc
[@2: Charlie is big.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Charlie" "is" "big" "+")
Charlie is not young.
Unknown
inv-random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
@0: Charlie is not quiet.[(triple1)] Gary is round.[(triple2)] Harry is green.[(triple3)] @1: Gary is big.[(((triple2) -> rule1))] Harry is round.[(((triple3) -> rule2))] @2: Harry is big.[(((((triple3) -> rule2)) -> rule1))]
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
triple1
Gary is round.
("Gary" "is" "round" "+")
triple2
Harry is green.
("Harry" "is" "green" "+")
triple3
Gary is big.
("Gary" "is" "big" "+")
((triple2) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((triple3) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
((((triple3) -> (rule2 % int2))) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2