Anne is quiet. Dave is smart. Erin is big. Harry is kind. Red, big people are green. If Anne is red and Anne is young then Anne is green. Big people are smart. All big people are kind. All big people are kind. Kind, green people are red. Smart people are red. If someone is kind then they are big.
Anne is quiet.
("Anne" "is" "quiet" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Erin is big.
("Erin" "is" "big" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Red, big people are green.
((("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If Anne is red and Anne is young then Anne is green.
((("Anne" "is" "red" "+") ("Anne" "is" "young" "+")) -> ("Anne" "is" "green" "+"))
Big people are smart.
((("someone" "is" "big" "+")) -> ("someone" "is" "smart" "+"))
All big people are kind.
((("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
All big people are kind.
((("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
Kind, green people are red.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
Smart people are red.
((("someone" "is" "smart" "+")) -> ("someone" "is" "red" "+"))
If someone is kind then they are big.
((("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
Harry is kind.
True
1
proof
[(triple4)]
("Harry" "is" "kind" "+")
triple4
Erin is not big.
False
1
inv-proof
[(triple3)]
("Erin" "is" "big" "-")
triple3
Dave is red.
True
2
proof
[(((triple2) -> rule7))]
("Dave" "is" "red" "+")
((triple2) -> (rule7 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Erin is not smart.
False
2
inv-proof
[(((triple3) -> rule3))]
("Erin" "is" "smart" "-")
((triple3) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is red.
True
3
proof
[(((((triple3) -> rule3)) -> rule7))]
("Erin" "is" "red" "+")
((((triple3) -> (rule3 % int2))) -> (rule7 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is not red.
False
3
inv-proof
[(((((triple3) -> rule3)) -> rule7))]
("Erin" "is" "red" "-")
((((triple3) -> (rule3 % int2))) -> (rule7 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is green.
True
5
proof
[(((((((triple3) -> rule3)) -> rule7) triple3) -> rule1))]
("Erin" "is" "green" "+")
((((((triple3) -> (rule3 % int3))) -> (rule7 % int2)) triple3) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Harry is not red.
False
4
inv-proof
[(((((((triple4) -> rule8)) -> rule3)) -> rule7))]
("Harry" "is" "red" "-")
((((((triple4) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Anne is not kind.
Unknown
inv-rconc
[@3: Anne is kind.[CWA. Example of deepest failure = (rule4 <- rule8 <- rule5 <- FAIL)]]
("Anne" "is" "kind" "-")
Dave is big.
Unknown
rconc
[@2: Dave is big.[CWA. Example of deepest failure = (rule8 <- rule4 <- FAIL)]]
("Dave" "is" "big" "+")
Dave is not kind.
Unknown
inv-rconc
[@3: Dave is kind.[CWA. Example of deepest failure = (rule4 <- rule8 <- rule5 <- FAIL)]]
("Dave" "is" "kind" "-")
Anne is big.
Unknown
rconc
[@2: Anne is big.[CWA. Example of deepest failure = (rule8 <- rule4 <- FAIL)]]
("Anne" "is" "big" "+")
Harry is not young.
Unknown
inv-random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "-")
Dave is young.
Unknown
random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "+")
Erin is not young.
Unknown
inv-random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "-")
Anne is young.
Unknown
random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "+")
@0: Anne is quiet.[(triple1)] Dave is smart.[(triple2)] Erin is big.[(triple3)] Harry is kind.[(triple4)] @1: Dave is red.[(((triple2) -> rule7))] Erin is kind.[(((triple3) -> rule4) OR ((triple3) -> rule5))] Erin is smart.[(((triple3) -> rule3))] Harry is big.[(((triple4) -> rule8))] @2: Erin is red.[(((((triple3) -> rule3)) -> rule7))] Harry is smart.[(((((triple4) -> rule8)) -> rule3))] @3: Erin is green.[(((((((triple3) -> rule3)) -> rule7) triple3) -> rule1))] Harry is red.[(((((((triple4) -> rule8)) -> rule3)) -> rule7))] @4: Harry is green.[(((((((((triple4) -> rule8)) -> rule3)) -> rule7) ((triple4) -> rule8)) -> rule1))]
Anne is quiet.
("Anne" "is" "quiet" "+")
triple1
Dave is smart.
("Dave" "is" "smart" "+")
triple2
Erin is big.
("Erin" "is" "big" "+")
triple3
Harry is kind.
("Harry" "is" "kind" "+")
triple4
Dave is red.
("Dave" "is" "red" "+")
((triple2) -> (rule7 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
((triple3) -> (rule4 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
((triple3) -> (rule5 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
((triple3) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
((triple4) -> (rule8 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
((((triple3) -> (rule3 % int2))) -> (rule7 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
((((triple4) -> (rule8 % int2))) -> (rule3 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
((((((triple3) -> (rule3 % int3))) -> (rule7 % int2)) triple3) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
((((((triple4) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
((((((((triple4) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule7 % int2)) ((triple4) -> (rule8 % int4))) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4