Erin is not nice. Erin is not red. Fiona is rough. Fiona is smart. Gary is cold. Gary is red. Gary is not rough. Gary is round. Harry is rough. Harry is smart. Smart things are cold. Cold, smart things are red. Red, cold things are kind.
Erin is not nice.
("Erin" "is" "nice" "-")
Erin is not red.
("Erin" "is" "red" "-")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is not rough.
("Gary" "is" "rough" "-")
Gary is round.
("Gary" "is" "round" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Smart things are cold.
((("something" "is" "smart" "+")) -> ("something" "is" "cold" "+"))
Cold, smart things are red.
((("something" "is" "cold" "+") ("something" "is" "smart" "+")) -> ("something" "is" "red" "+"))
Red, cold things are kind.
((("something" "is" "red" "+") ("something" "is" "cold" "+")) -> ("something" "is" "kind" "+"))
Gary is round.
True
1
proof
[(triple8)]
("Gary" "is" "round" "+")
triple8
Gary is not cold.
False
1
inv-proof
[(triple5)]
("Gary" "is" "cold" "-")
triple5
Gary is kind.
True
3
proof
[(((triple6 triple5) -> rule3))]
("Gary" "is" "kind" "+")
((triple6 triple5) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Fiona is not cold.
False
2
inv-proof
[(((triple4) -> rule1))]
("Fiona" "is" "cold" "-")
((triple4) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Harry is red.
True
4
proof
[(((((triple10) -> rule1) triple10) -> rule2))]
("Harry" "is" "red" "+")
((((triple10) -> (rule1 % int2)) triple10) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Fiona is not red.
False
4
inv-proof
[(((((triple4) -> rule1) triple4) -> rule2))]
("Fiona" "is" "red" "-")
((((triple4) -> (rule1 % int2)) triple4) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Harry is kind.
True
7
proof
[(((((((triple10) -> rule1) triple10) -> rule2) ((triple10) -> rule1)) -> rule3))]
("Harry" "is" "kind" "+")
((((((triple10) -> (rule1 % int3)) triple10) -> (rule2 % int2)) ((triple10) -> (rule1 % int3))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is not kind.
False
7
inv-proof
[(((((((triple10) -> rule1) triple10) -> rule2) ((triple10) -> rule1)) -> rule3))]
("Harry" "is" "kind" "-")
((((((triple10) -> (rule1 % int3)) triple10) -> (rule2 % int2)) ((triple10) -> (rule1 % int3))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Erin is not kind.
Unknown
inv-rconc
[@1: Erin is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Erin" "is" "kind" "-")
Erin is cold.
Unknown
rconc
[@1: Erin is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "cold" "+")
Erin is not rough.
Unknown
inv-random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
Harry is not round.
Unknown
inv-random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "-")
Gary is smart.
Unknown
random
[@0: Gary is smart.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "smart" "+")
Erin is not smart.
Unknown
inv-random
[@0: Erin is smart.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "smart" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
@0: Erin is not nice.[(triple1)] Erin is not red.[(triple2)] Fiona is rough.[(triple3)] Fiona is smart.[(triple4)] Gary is cold.[(triple5)] Gary is not rough.[(triple7)] Gary is red.[(triple6)] Gary is round.[(triple8)] Harry is rough.[(triple9)] Harry is smart.[(triple10)] @1: Fiona is cold.[(((triple4) -> rule1))] Gary is kind.[(((triple6 triple5) -> rule3))] Harry is cold.[(((triple10) -> rule1))] @2: Fiona is red.[(((((triple4) -> rule1) triple4) -> rule2))] Harry is red.[(((((triple10) -> rule1) triple10) -> rule2))] @3: Fiona is kind.[(((((((triple4) -> rule1) triple4) -> rule2) ((triple4) -> rule1)) -> rule3))] Harry is kind.[(((((((triple10) -> rule1) triple10) -> rule2) ((triple10) -> rule1)) -> rule3))]
Erin is not nice.
("Erin" "is" "nice" "-")
triple1
Erin is not red.
("Erin" "is" "red" "-")
triple2
Fiona is rough.
("Fiona" "is" "rough" "+")
triple3
Fiona is smart.
("Fiona" "is" "smart" "+")
triple4
Gary is cold.
("Gary" "is" "cold" "+")
triple5
Gary is not rough.
("Gary" "is" "rough" "-")
triple7
Gary is red.
("Gary" "is" "red" "+")
triple6
Gary is round.
("Gary" "is" "round" "+")
triple8
Harry is rough.
("Harry" "is" "rough" "+")
triple9
Harry is smart.
("Harry" "is" "smart" "+")
triple10
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple4) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
((triple6 triple5) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
((triple10) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
((((triple4) -> (rule1 % int2)) triple4) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
((((triple10) -> (rule1 % int2)) triple10) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
((((((triple4) -> (rule1 % int3)) triple4) -> (rule2 % int2)) ((triple4) -> (rule1 % int3))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
((((((triple10) -> (rule1 % int3)) triple10) -> (rule2 % int2)) ((triple10) -> (rule1 % int3))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3