Erin is cold. Erin is kind. Erin is quiet. Erin is rough. Fiona is green. Fiona is quiet. Fiona is rough. Fiona is white. Gary is kind. Gary is young. Harry is cold. Harry is quiet. If Fiona is cold and Fiona is quiet then Fiona is kind. Cold things are young. White, kind things are young. If something is young then it is rough. All white things are green. If Fiona is green then Fiona is kind.
Erin is cold.
("Erin" "is" "cold" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
If Fiona is cold and Fiona is quiet then Fiona is kind.
((("Fiona" "is" "cold" "+") ("Fiona" "is" "quiet" "+")) -> ("Fiona" "is" "kind" "+"))
Cold things are young.
((("something" "is" "cold" "+")) -> ("something" "is" "young" "+"))
White, kind things are young.
((("something" "is" "white" "+") ("something" "is" "kind" "+")) -> ("something" "is" "young" "+"))
If something is young then it is rough.
((("something" "is" "young" "+")) -> ("something" "is" "rough" "+"))
All white things are green.
((("something" "is" "white" "+")) -> ("something" "is" "green" "+"))
If Fiona is green then Fiona is kind.
((("Fiona" "is" "green" "+")) -> ("Fiona" "is" "kind" "+"))
Erin is cold.
True
1
proof
[(triple1)]
("Erin" "is" "cold" "+")
triple1
Harry is not cold.
False
1
inv-proof
[(triple11)]
("Harry" "is" "cold" "-")
triple11
Gary is rough.
True
2
proof
[(((triple10) -> rule4))]
("Gary" "is" "rough" "+")
((triple10) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is not rough.
False
2
inv-proof
[(((triple10) -> rule4))]
("Gary" "is" "rough" "-")
((triple10) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Fiona is young.
True
4
proof
[(((triple8 ((triple5) -> rule6)) -> rule3) OR ((triple8 ((((triple8) -> rule5)) -> rule6)) -> rule3))]
("Fiona" "is" "young" "+")
((triple8 ((triple5) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
((triple8 ((((triple8) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Harry is not rough.
False
3
inv-proof
[(((((triple11) -> rule2)) -> rule4))]
("Harry" "is" "rough" "-")
((((triple11) -> (rule2 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Erin is not green.
Unknown
inv-rconc
[@1: Erin is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Erin" "is" "green" "-")
Gary is green.
Unknown
rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "green" "+")
Harry is not green.
Unknown
inv-rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "green" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Harry is white.
Unknown
random
[@0: Harry is white.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "white" "+")
@0: Erin is cold.[(triple1)] Erin is kind.[(triple2)] Erin is quiet.[(triple3)] Erin is rough.[(triple4 OR ((((triple1) -> rule2)) -> rule4))] Fiona is green.[(triple5 OR ((triple8) -> rule5))] Fiona is quiet.[(triple6)] Fiona is rough.[(triple7 OR ((((triple8 ((triple5) -> rule6)) -> rule3)) -> rule4) OR ((((triple8 ((((triple8) -> rule5)) -> rule6)) -> rule3)) -> rule4))] Fiona is white.[(triple8)] Gary is kind.[(triple9)] Gary is young.[(triple10)] Harry is cold.[(triple11)] Harry is quiet.[(triple12)] @1: Erin is young.[(((triple1) -> rule2))] Fiona is kind.[(((triple5) -> rule6) OR ((((triple8) -> rule5)) -> rule6))] Gary is rough.[(((triple10) -> rule4))] Harry is young.[(((triple11) -> rule2))] @2: Fiona is young.[(((triple8 ((triple5) -> rule6)) -> rule3) OR ((triple8 ((((triple8) -> rule5)) -> rule6)) -> rule3))] Harry is rough.[(((((triple11) -> rule2)) -> rule4))]
Erin is cold.
("Erin" "is" "cold" "+")
triple1
Erin is kind.
("Erin" "is" "kind" "+")
triple2
Erin is quiet.
("Erin" "is" "quiet" "+")
triple3
Erin is rough.
("Erin" "is" "rough" "+")
triple4
((((triple1) -> (rule2 % int2))) -> (rule4 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
triple5
((triple8) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple6
Fiona is rough.
("Fiona" "is" "rough" "+")
triple7
((((triple8 ((triple5) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
((((triple8 ((((triple8) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
triple8
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple10
Harry is cold.
("Harry" "is" "cold" "+")
triple11
Harry is quiet.
("Harry" "is" "quiet" "+")
triple12
Erin is young.
("Erin" "is" "young" "+")
((triple1) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple5) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((((triple8) -> (rule5 % int2))) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
((triple10) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
((triple11) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
((triple8 ((triple5) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
((triple8 ((((triple8) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
((((triple11) -> (rule2 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2