Charlie is green. Charlie is not nice. Charlie is smart. Erin is smart. Erin is young. Fiona is not green. Fiona is nice. Fiona is not red. Harry is not kind. Harry is young. All nice things are big. All nice, smart things are not kind. If something is big and not red then it is kind. If Harry is smart and Harry is red then Harry is nice. If Harry is not big then Harry is green. If Fiona is green then Fiona is not young. All nice, young things are green. If something is young and not kind then it is green.
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is not nice.
("Charlie" "is" "nice" "-")
Charlie is smart.
("Charlie" "is" "smart" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is not green.
("Fiona" "is" "green" "-")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is not red.
("Fiona" "is" "red" "-")
Harry is not kind.
("Harry" "is" "kind" "-")
Harry is young.
("Harry" "is" "young" "+")
All nice things are big.
((("something" "is" "nice" "+")) -> ("something" "is" "big" "+"))
All nice, smart things are not kind.
((("something" "is" "nice" "+") ("something" "is" "smart" "+")) -> ("something" "is" "kind" "-"))
If something is big and not red then it is kind.
((("something" "is" "big" "+") ("something" "is" "red" "~")) -> ("something" "is" "kind" "+"))
If Harry is smart and Harry is red then Harry is nice.
((("Harry" "is" "smart" "+") ("Harry" "is" "red" "+")) -> ("Harry" "is" "nice" "+"))
If Harry is not big then Harry is green.
((("Harry" "is" "big" "~")) -> ("Harry" "is" "green" "+"))
If Fiona is green then Fiona is not young.
((("Fiona" "is" "green" "+")) -> ("Fiona" "is" "young" "-"))
All nice, young things are green.
((("something" "is" "nice" "+") ("something" "is" "young" "+")) -> ("something" "is" "green" "+"))
If something is young and not kind then it is green.
((("something" "is" "young" "+") ("something" "is" "kind" "~")) -> ("something" "is" "green" "+"))
Charlie is smart.
True
1
proof
[(triple3)]
("Charlie" "is" "smart" "+")
triple3
Fiona is green.
False
1
inv-proof
[(triple6)]
("Fiona" "is" "green" "+")
triple6
Harry is green.
True
3
proof
[(((triple10 triple9) -> rule8))]
("Harry" "is" "green" "+")
((triple10 triple9) -> (rule8 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Fiona is not big.
False
2
inv-proof
[(((triple7) -> rule1))]
("Fiona" "is" "big" "-")
((triple7) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is kind.
True
4
proof
[(((((triple7) -> rule1) triple8) -> rule3))]
("Fiona" "is" "kind" "+")
((((triple7) -> (rule1 % int2)) triple8) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is not kind.
False
4
inv-proof
[(((((triple7) -> rule1) triple8) -> rule3))]
("Fiona" "is" "kind" "-")
((((triple7) -> (rule1 % int2)) triple8) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Erin is not green.
Unknown
inv-rconc
[@1: Erin is green.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Erin" "is" "green" "-")
Charlie is big.
Unknown
rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "big" "+")
Charlie is not kind.
Unknown
inv-rconc
[@1: Charlie is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "kind" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
Harry is not red.
Unknown
inv-random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
@0: Charlie is green.[(triple1)] Charlie is not nice.[(triple2)] Charlie is smart.[(triple3)] Erin is smart.[(triple4)] Erin is young.[(triple5)] Fiona is nice.[(triple7)] Fiona is not green.[(triple6)] Fiona is not red.[(triple8)] Harry is not kind.[(triple9)] Harry is young.[(triple10)] @1: Fiona is big.[(((triple7) -> rule1))] Harry is green.[(((triple10 triple9) -> rule8))] @2: Fiona is kind.[(((((triple7) -> rule1) triple8) -> rule3))]
Charlie is green.
("Charlie" "is" "green" "+")
triple1
Charlie is not nice.
("Charlie" "is" "nice" "-")
triple2
Charlie is smart.
("Charlie" "is" "smart" "+")
triple3
Erin is smart.
("Erin" "is" "smart" "+")
triple4
Erin is young.
("Erin" "is" "young" "+")
triple5
Fiona is nice.
("Fiona" "is" "nice" "+")
triple7
Fiona is not green.
("Fiona" "is" "green" "-")
triple6
Fiona is not red.
("Fiona" "is" "red" "-")
triple8
Harry is not kind.
("Harry" "is" "kind" "-")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple10
Fiona is big.
("Fiona" "is" "big" "+")
((triple7) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
((triple10 triple9) -> (rule8 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((((triple7) -> (rule1 % int2)) triple8) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2