Erin is blue. Erin is not furry. Erin is green. Erin is kind. Erin is not round. Fiona is not blue. Fiona is nice. Harry is not big. Harry is furry. Harry is not kind. Harry is nice. Harry is round. Green people are big. If Fiona is big then Fiona is kind. If someone is nice and not blue then they are green. If Harry is not kind then Harry is round. If someone is blue and not kind then they are not round. If Erin is kind and Erin is not green then Erin is round.
Erin is blue.
("Erin" "is" "blue" "+")
Erin is not furry.
("Erin" "is" "furry" "-")
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is not round.
("Erin" "is" "round" "-")
Fiona is not blue.
("Fiona" "is" "blue" "-")
Fiona is nice.
("Fiona" "is" "nice" "+")
Harry is not big.
("Harry" "is" "big" "-")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is not kind.
("Harry" "is" "kind" "-")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is round.
("Harry" "is" "round" "+")
Green people are big.
((("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If Fiona is big then Fiona is kind.
((("Fiona" "is" "big" "+")) -> ("Fiona" "is" "kind" "+"))
If someone is nice and not blue then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "green" "+"))
If Harry is not kind then Harry is round.
((("Harry" "is" "kind" "~")) -> ("Harry" "is" "round" "+"))
If someone is blue and not kind then they are not round.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "round" "-"))
If Erin is kind and Erin is not green then Erin is round.
((("Erin" "is" "kind" "+") ("Erin" "is" "green" "~")) -> ("Erin" "is" "round" "+"))
Erin is blue.
True
1
proof
[(triple1)]
("Erin" "is" "blue" "+")
triple1
Erin is not kind.
False
1
inv-proof
[(triple4)]
("Erin" "is" "kind" "-")
triple4
Fiona is green.
True
3
proof
[(((triple7 triple6) -> rule3))]
("Fiona" "is" "green" "+")
((triple7 triple6) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Erin is not big.
False
2
inv-proof
[(((triple3) -> rule1))]
("Erin" "is" "big" "-")
((triple3) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Fiona is big.
True
4
proof
[(((((triple7 triple6) -> rule3)) -> rule1))]
("Fiona" "is" "big" "+")
((((triple7 triple6) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is not big.
False
4
inv-proof
[(((((triple7 triple6) -> rule3)) -> rule1))]
("Fiona" "is" "big" "-")
((((triple7 triple6) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is kind.
True
5
proof
[(((((((triple7 triple6) -> rule3)) -> rule1)) -> rule2))]
("Fiona" "is" "kind" "+")
((((((triple7 triple6) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is not kind.
False
5
inv-proof
[(((((((triple7 triple6) -> rule3)) -> rule1)) -> rule2))]
("Fiona" "is" "kind" "-")
((((((triple7 triple6) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Harry is not green.
Unknown
inv-rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "green" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
Erin is not nice.
Unknown
inv-random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "-")
Fiona is round.
Unknown
random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "+")
@0: Erin is blue.[(triple1)] Erin is green.[(triple3)] Erin is kind.[(triple4)] Erin is not furry.[(triple2)] Erin is not round.[(triple5)] Fiona is nice.[(triple7)] Fiona is not blue.[(triple6)] Harry is furry.[(triple9)] Harry is nice.[(triple11)] Harry is not big.[(triple8)] Harry is not kind.[(triple10)] Harry is round.[(triple12 OR ((triple10) -> rule4))] @1: Erin is big.[(((triple3) -> rule1))] Fiona is green.[(((triple7 triple6) -> rule3))] @2: Fiona is big.[(((((triple7 triple6) -> rule3)) -> rule1))] @3: Fiona is kind.[(((((((triple7 triple6) -> rule3)) -> rule1)) -> rule2))]
Erin is blue.
("Erin" "is" "blue" "+")
triple1
Erin is green.
("Erin" "is" "green" "+")
triple3
Erin is kind.
("Erin" "is" "kind" "+")
triple4
Erin is not furry.
("Erin" "is" "furry" "-")
triple2
Erin is not round.
("Erin" "is" "round" "-")
triple5
Fiona is nice.
("Fiona" "is" "nice" "+")
triple7
Fiona is not blue.
("Fiona" "is" "blue" "-")
triple6
Harry is furry.
("Harry" "is" "furry" "+")
triple9
Harry is nice.
("Harry" "is" "nice" "+")
triple11
Harry is not big.
("Harry" "is" "big" "-")
triple8
Harry is not kind.
("Harry" "is" "kind" "-")
triple10
Harry is round.
("Harry" "is" "round" "+")
triple12
((triple10) -> (rule4 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
((triple3) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
((triple7 triple6) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
((((triple7 triple6) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
((((((triple7 triple6) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3