Erin is green. Erin is rough. Erin is white. Fiona is blue. Fiona is red. Fiona is rough. Harry is green. Harry is rough. Harry is not white. Harry is young. If someone is kind and rough then they are not red. If someone is blue and not white then they are rough. If someone is young then they are rough. Kind people are green. If someone is red and rough then they are blue. If someone is white then they are kind.
Erin is green.
("Erin" "is" "green" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is not white.
("Harry" "is" "white" "-")
Harry is young.
("Harry" "is" "young" "+")
If someone is kind and rough then they are not red.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "-"))
If someone is blue and not white then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "white" "~")) -> ("someone" "is" "rough" "+"))
If someone is young then they are rough.
((("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
Kind people are green.
((("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is red and rough then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is white then they are kind.
((("someone" "is" "white" "+")) -> ("someone" "is" "kind" "+"))
Harry is young.
True
1
proof
[(triple10)]
("Harry" "is" "young" "+")
triple10
Fiona is not red.
False
1
inv-proof
[(triple5)]
("Fiona" "is" "red" "-")
triple5
Erin is kind.
True
2
proof
[(((triple3) -> rule6))]
("Erin" "is" "kind" "+")
((triple3) -> (rule6 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is not kind.
False
2
inv-proof
[(((triple3) -> rule6))]
("Erin" "is" "kind" "-")
((triple3) -> (rule6 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is not red.
True
4
proof
[(((((triple3) -> rule6) triple2) -> rule1))]
("Erin" "is" "red" "-")
((((triple3) -> (rule6 % int2)) triple2) -> (rule1 % int1))
Erin is not red.
("Erin" "is" "red" "-")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is red.
False
4
inv-proof
[(((((triple3) -> rule6) triple2) -> rule1))]
("Erin" "is" "red" "+")
((((triple3) -> (rule6 % int2)) triple2) -> (rule1 % int1))
Erin is not red.
("Erin" "is" "red" "-")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Harry is not kind.
Unknown
inv-rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "kind" "-")
Fiona is green.
Unknown
rconc
[@2: Fiona is green.[CWA. Example of deepest failure = (rule4 <- rule6 <- FAIL)]]
("Fiona" "is" "green" "+")
Erin is not blue.
Unknown
inv-rconc
[@1: Erin is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Erin" "is" "blue" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
Erin is not young.
Unknown
inv-random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "-")
Fiona is young.
Unknown
random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "+")
@0: Erin is green.[(triple1 OR ((((triple3) -> rule6)) -> rule4))] Erin is rough.[(triple2)] Erin is white.[(triple3)] Fiona is blue.[(triple4 OR ((triple5 triple6) -> rule5))] Fiona is red.[(triple5)] Fiona is rough.[(triple6)] Harry is green.[(triple7)] Harry is not white.[(triple9)] Harry is rough.[(triple8 OR ((triple10) -> rule3))] Harry is young.[(triple10)] @1: Erin is kind.[(((triple3) -> rule6))] @2: Erin is not red.[(((((triple3) -> rule6) triple2) -> rule1))]
Erin is green.
("Erin" "is" "green" "+")
triple1
((((triple3) -> (rule6 % int2))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
triple2
Erin is white.
("Erin" "is" "white" "+")
triple3
Fiona is blue.
("Fiona" "is" "blue" "+")
triple4
((triple5 triple6) -> (rule5 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
triple5
Fiona is rough.
("Fiona" "is" "rough" "+")
triple6
Harry is green.
("Harry" "is" "green" "+")
triple7
Harry is not white.
("Harry" "is" "white" "-")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
triple8
((triple10) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
triple10
Erin is kind.
("Erin" "is" "kind" "+")
((triple3) -> (rule6 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is not red.
("Erin" "is" "red" "-")
((((triple3) -> (rule6 % int2)) triple2) -> (rule1 % int1))
Erin is not red.
("Erin" "is" "red" "-")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2