Charlie is kind. Fiona is green. Gary is green. Harry is green. All white, quiet people are kind. If Gary is kind and Gary is round then Gary is smart. Green people are big. All big people are quiet. Smart, quiet people are round. Quiet, big people are smart.
Charlie is kind.
("Charlie" "is" "kind" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Gary is green.
("Gary" "is" "green" "+")
Harry is green.
("Harry" "is" "green" "+")
All white, quiet people are kind.
((("someone" "is" "white" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "kind" "+"))
If Gary is kind and Gary is round then Gary is smart.
((("Gary" "is" "kind" "+") ("Gary" "is" "round" "+")) -> ("Gary" "is" "smart" "+"))
Green people are big.
((("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
All big people are quiet.
((("someone" "is" "big" "+")) -> ("someone" "is" "quiet" "+"))
Smart, quiet people are round.
((("someone" "is" "smart" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "round" "+"))
Quiet, big people are smart.
((("someone" "is" "quiet" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "smart" "+"))
Harry is green.
True
1
proof
[(triple4)]
("Harry" "is" "green" "+")
triple4
Harry is not green.
False
1
inv-proof
[(triple4)]
("Harry" "is" "green" "-")
triple4
Harry is not kind.
Unknown
inv-rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "kind" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
@0: Charlie is kind.[(triple1)] Fiona is green.[(triple2)] Gary is green.[(triple3)] Harry is green.[(triple4)] @1: Fiona is big.[(((triple2) -> rule3))] Gary is big.[(((triple3) -> rule3))] Harry is big.[(((triple4) -> rule3))] @2: Fiona is quiet.[(((((triple2) -> rule3)) -> rule4))] Gary is quiet.[(((((triple3) -> rule3)) -> rule4))] Harry is quiet.[(((((triple4) -> rule3)) -> rule4))] @3: Fiona is smart.[(((((((triple2) -> rule3)) -> rule4) ((triple2) -> rule3)) -> rule6))] Gary is smart.[(((((((triple3) -> rule3)) -> rule4) ((triple3) -> rule3)) -> rule6))] Harry is smart.[(((((((triple4) -> rule3)) -> rule4) ((triple4) -> rule3)) -> rule6))] @4: Fiona is round.[(((((((((triple2) -> rule3)) -> rule4) ((triple2) -> rule3)) -> rule6) ((((triple2) -> rule3)) -> rule4)) -> rule5))] Gary is round.[(((((((((triple3) -> rule3)) -> rule4) ((triple3) -> rule3)) -> rule6) ((((triple3) -> rule3)) -> rule4)) -> rule5))] Harry is round.[(((((((((triple4) -> rule3)) -> rule4) ((triple4) -> rule3)) -> rule6) ((((triple4) -> rule3)) -> rule4)) -> rule5))]
Charlie is kind.
("Charlie" "is" "kind" "+")
triple1
Fiona is green.
("Fiona" "is" "green" "+")
triple2
Gary is green.
("Gary" "is" "green" "+")
triple3
Harry is green.
("Harry" "is" "green" "+")
triple4
Fiona is big.
("Fiona" "is" "big" "+")
((triple2) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
((triple3) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
((triple4) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((((triple2) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
((((triple3) -> (rule3 % int2))) -> (rule4 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
((((triple4) -> (rule3 % int2))) -> (rule4 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
((((((triple2) -> (rule3 % int3))) -> (rule4 % int2)) ((triple2) -> (rule3 % int3))) -> (rule6 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
((((((triple3) -> (rule3 % int3))) -> (rule4 % int2)) ((triple3) -> (rule3 % int3))) -> (rule6 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
((((((triple4) -> (rule3 % int3))) -> (rule4 % int2)) ((triple4) -> (rule3 % int3))) -> (rule6 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
((((((((triple2) -> (rule3 % int4))) -> (rule4 % int3)) ((triple2) -> (rule3 % int4))) -> (rule6 % int2)) ((((triple2) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule5 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
((((((((triple3) -> (rule3 % int4))) -> (rule4 % int3)) ((triple3) -> (rule3 % int4))) -> (rule6 % int2)) ((((triple3) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule5 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
((((((((triple4) -> (rule3 % int4))) -> (rule4 % int3)) ((triple4) -> (rule3 % int4))) -> (rule6 % int2)) ((((triple4) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4