Charlie is nice. Erin is quiet. Fiona is rough. Harry is blue. Blue things are rough. Quiet things are rough. Blue, white things are red. Red things are nice. Rough, quiet things are young. If something is young then it is nice. If something is red and blue then it is young. White, red things are blue.
Charlie is nice.
("Charlie" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Blue things are rough.
((("something" "is" "blue" "+")) -> ("something" "is" "rough" "+"))
Quiet things are rough.
((("something" "is" "quiet" "+")) -> ("something" "is" "rough" "+"))
Blue, white things are red.
((("something" "is" "blue" "+") ("something" "is" "white" "+")) -> ("something" "is" "red" "+"))
Red things are nice.
((("something" "is" "red" "+")) -> ("something" "is" "nice" "+"))
Rough, quiet things are young.
((("something" "is" "rough" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "young" "+"))
If something is young then it is nice.
((("something" "is" "young" "+")) -> ("something" "is" "nice" "+"))
If something is red and blue then it is young.
((("something" "is" "red" "+") ("something" "is" "blue" "+")) -> ("something" "is" "young" "+"))
White, red things are blue.
((("something" "is" "white" "+") ("something" "is" "red" "+")) -> ("something" "is" "blue" "+"))
Harry is blue.
True
1
proof
[(triple4)]
("Harry" "is" "blue" "+")
triple4
Harry is not blue.
False
1
inv-proof
[(triple4)]
("Harry" "is" "blue" "-")
triple4
Erin is not blue.
Unknown
inv-rconc
[@1: Erin is blue.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Erin" "is" "blue" "-")
Charlie is white.
Unknown
random
[@0: Charlie is white.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "white" "+")
@0: Charlie is nice.[(triple1)] Erin is quiet.[(triple2)] Fiona is rough.[(triple3)] Harry is blue.[(triple4)] @1: Erin is rough.[(((triple2) -> rule2))] Harry is rough.[(((triple4) -> rule1))] @2: Erin is young.[(((((triple2) -> rule2) triple2) -> rule5))] @3: Erin is nice.[(((((((triple2) -> rule2) triple2) -> rule5)) -> rule6))]
Charlie is nice.
("Charlie" "is" "nice" "+")
triple1
Erin is quiet.
("Erin" "is" "quiet" "+")
triple2
Fiona is rough.
("Fiona" "is" "rough" "+")
triple3
Harry is blue.
("Harry" "is" "blue" "+")
triple4
Erin is rough.
("Erin" "is" "rough" "+")
((triple2) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
((triple4) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
((((triple2) -> (rule2 % int2)) triple2) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
((((((triple2) -> (rule2 % int3)) triple2) -> (rule5 % int2))) -> (rule6 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3