Fiona is cold. Fiona is furry. Fiona is kind. Fiona is not nice. Fiona is rough. Fiona is white. Gary is blue. Gary is nice. Harry is cold. Harry is kind. Harry is rough. Harry is not white. If Fiona is nice then Fiona is not cold. All rough things are cold. If something is kind then it is cold. All blue, cold things are rough. All kind, blue things are not rough. All blue things are rough. Nice things are furry. If something is cold and not furry then it is white.
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is not nice.
("Fiona" "is" "nice" "-")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is not white.
("Harry" "is" "white" "-")
If Fiona is nice then Fiona is not cold.
((("Fiona" "is" "nice" "+")) -> ("Fiona" "is" "cold" "-"))
All rough things are cold.
((("something" "is" "rough" "+")) -> ("something" "is" "cold" "+"))
If something is kind then it is cold.
((("something" "is" "kind" "+")) -> ("something" "is" "cold" "+"))
All blue, cold things are rough.
((("something" "is" "blue" "+") ("something" "is" "cold" "+")) -> ("something" "is" "rough" "+"))
All kind, blue things are not rough.
((("something" "is" "kind" "+") ("something" "is" "blue" "+")) -> ("something" "is" "rough" "-"))
All blue things are rough.
((("something" "is" "blue" "+")) -> ("something" "is" "rough" "+"))
Nice things are furry.
((("something" "is" "nice" "+")) -> ("something" "is" "furry" "+"))
If something is cold and not furry then it is white.
((("something" "is" "cold" "+") ("something" "is" "furry" "~")) -> ("something" "is" "white" "+"))
Fiona is not nice.
True
1
proof
[(triple4)]
("Fiona" "is" "nice" "-")
triple4
Fiona is not kind.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "kind" "-")
triple3
Gary is furry.
True
2
proof
[(((triple8) -> rule7))]
("Gary" "is" "furry" "+")
((triple8) -> (rule7 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is not furry.
False
2
inv-proof
[(((triple8) -> rule7))]
("Gary" "is" "furry" "-")
((triple8) -> (rule7 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is cold.
True
3
proof
[(((((triple7) -> rule6)) -> rule2))]
("Gary" "is" "cold" "+")
((((triple7) -> (rule6 % int2))) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is not cold.
False
3
inv-proof
[(((((triple7) -> rule6)) -> rule2))]
("Gary" "is" "cold" "-")
((((triple7) -> (rule6 % int2))) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is not white.
Unknown
inv-rconc
[@1: Gary is white.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Gary" "is" "white" "-")
Harry is furry.
Unknown
rconc
[@1: Harry is furry.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Harry" "is" "furry" "+")
Harry is not nice.
Unknown
inv-random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
Fiona is not blue.
Unknown
inv-random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
@0: Fiona is cold.[(triple1 OR ((triple3) -> rule3) OR ((triple5) -> rule2))] Fiona is furry.[(triple2)] Fiona is kind.[(triple3)] Fiona is not nice.[(triple4)] Fiona is rough.[(triple5)] Fiona is white.[(triple6)] Gary is blue.[(triple7)] Gary is nice.[(triple8)] Harry is cold.[(triple9 OR ((triple10) -> rule3) OR ((triple11) -> rule2))] Harry is kind.[(triple10)] Harry is not white.[(triple12)] Harry is rough.[(triple11)] @1: Gary is furry.[(((triple8) -> rule7))] Gary is rough.[(((triple7) -> rule6))] @2: Gary is cold.[(((((triple7) -> rule6)) -> rule2))]
Fiona is cold.
("Fiona" "is" "cold" "+")
triple1
((triple3) -> (rule3 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
((triple5) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple2
Fiona is kind.
("Fiona" "is" "kind" "+")
triple3
Fiona is not nice.
("Fiona" "is" "nice" "-")
triple4
Fiona is rough.
("Fiona" "is" "rough" "+")
triple5
Fiona is white.
("Fiona" "is" "white" "+")
triple6
Gary is blue.
("Gary" "is" "blue" "+")
triple7
Gary is nice.
("Gary" "is" "nice" "+")
triple8
Harry is cold.
("Harry" "is" "cold" "+")
triple9
((triple10) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
((triple11) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
triple10
Harry is not white.
("Harry" "is" "white" "-")
triple12
Harry is rough.
("Harry" "is" "rough" "+")
triple11
Gary is furry.
("Gary" "is" "furry" "+")
((triple8) -> (rule7 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((triple7) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((((triple7) -> (rule6 % int2))) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2