Erin is round. Fiona is not furry. Gary is not round. Harry is not big. Green people are big. All big people are kind. Round people are green.
Erin is round.
("Erin" "is" "round" "+")
Fiona is not furry.
("Fiona" "is" "furry" "-")
Gary is not round.
("Gary" "is" "round" "-")
Harry is not big.
("Harry" "is" "big" "-")
Green people are big.
((("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
All big people are kind.
((("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
Round people are green.
((("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
Erin is round.
True
1
proof
[(triple1)]
("Erin" "is" "round" "+")
triple1
Erin is not round.
False
1
inv-proof
[(triple1)]
("Erin" "is" "round" "-")
triple1
Erin is green.
True
2
proof
[(((triple1) -> rule3))]
("Erin" "is" "green" "+")
((triple1) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is not green.
False
2
inv-proof
[(((triple1) -> rule3))]
("Erin" "is" "green" "-")
((triple1) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is big.
True
3
proof
[(((((triple1) -> rule3)) -> rule1))]
("Erin" "is" "big" "+")
((((triple1) -> (rule3 % int2))) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is not big.
False
3
inv-proof
[(((((triple1) -> rule3)) -> rule1))]
("Erin" "is" "big" "-")
((((triple1) -> (rule3 % int2))) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is kind.
True
4
proof
[(((((((triple1) -> rule3)) -> rule1)) -> rule2))]
("Erin" "is" "kind" "+")
((((((triple1) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is not kind.
False
4
inv-proof
[(((((((triple1) -> rule3)) -> rule1)) -> rule2))]
("Erin" "is" "kind" "-")
((((((triple1) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Gary is not kind.
Unknown
inv-rconc
[@3: Gary is kind.[CWA. Example of deepest failure = (rule2 <- rule1 <- rule3 <- FAIL)]]
("Gary" "is" "kind" "-")
Harry is kind.
Unknown
rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "kind" "+")
Fiona is not big.
Unknown
inv-rconc
[@2: Fiona is big.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Fiona" "is" "big" "-")
Fiona is kind.
Unknown
rconc
[@3: Fiona is kind.[CWA. Example of deepest failure = (rule2 <- rule1 <- rule3 <- FAIL)]]
("Fiona" "is" "kind" "+")
Harry is not round.
Unknown
inv-random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "-")
Gary is quiet.
Unknown
random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "+")
Harry is not furry.
Unknown
inv-random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "-")
Harry is quiet.
Unknown
random
[@0: Harry is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "quiet" "+")
@0: Erin is round.[(triple1)] Fiona is not furry.[(triple2)] Gary is not round.[(triple3)] Harry is not big.[(triple4)] @1: Erin is green.[(((triple1) -> rule3))] @2: Erin is big.[(((((triple1) -> rule3)) -> rule1))] @3: Erin is kind.[(((((((triple1) -> rule3)) -> rule1)) -> rule2))]
Erin is round.
("Erin" "is" "round" "+")
triple1
Fiona is not furry.
("Fiona" "is" "furry" "-")
triple2
Gary is not round.
("Gary" "is" "round" "-")
triple3
Harry is not big.
("Harry" "is" "big" "-")
triple4
Erin is green.
("Erin" "is" "green" "+")
((triple1) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
((((triple1) -> (rule3 % int2))) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
((((((triple1) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3