Bob is green. Bob is nice. Bob is round. Bob is not young. Fiona is cold. Fiona is not red. Fiona is rough. Gary is green. Harry is red. Harry is not round. If something is rough and not young then it is red. If something is nice then it is rough.
Bob is green.
("Bob" "is" "green" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is not young.
("Bob" "is" "young" "-")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is not red.
("Fiona" "is" "red" "-")
Fiona is rough.
("Fiona" "is" "rough" "+")
Gary is green.
("Gary" "is" "green" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is not round.
("Harry" "is" "round" "-")
If something is rough and not young then it is red.
((("something" "is" "rough" "+") ("something" "is" "young" "~")) -> ("something" "is" "red" "+"))
If something is nice then it is rough.
((("something" "is" "nice" "+")) -> ("something" "is" "rough" "+"))
Fiona is not red.
True
1
proof
[(triple6)]
("Fiona" "is" "red" "-")
triple6
Harry is not red.
False
1
inv-proof
[(triple9)]
("Harry" "is" "red" "-")
triple9
Bob is rough.
True
2
proof
[(((triple2) -> rule2))]
("Bob" "is" "rough" "+")
((triple2) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is not rough.
False
2
inv-proof
[(((triple2) -> rule2))]
("Bob" "is" "rough" "-")
((triple2) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is red.
True
4
proof
[(((((triple2) -> rule2) triple4) -> rule1))]
("Bob" "is" "red" "+")
((((triple2) -> (rule2 % int2)) triple4) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is not red.
False
4
inv-proof
[(((((triple2) -> rule2) triple4) -> rule1))]
("Bob" "is" "red" "-")
((((triple2) -> (rule2 % int2)) triple4) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Harry is not rough.
Unknown
inv-rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "rough" "-")
Gary is rough.
Unknown
rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "rough" "+")
Gary is not red.
Unknown
inv-rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "red" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
Fiona is not round.
Unknown
inv-random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
@0: Bob is green.[(triple1)] Bob is nice.[(triple2)] Bob is not young.[(triple4)] Bob is round.[(triple3)] Fiona is cold.[(triple5)] Fiona is not red.[(triple6)] Fiona is rough.[(triple7)] Gary is green.[(triple8)] Harry is not round.[(triple10)] Harry is red.[(triple9)] @1: Bob is rough.[(((triple2) -> rule2))] @2: Bob is red.[(((((triple2) -> rule2) triple4) -> rule1))]
Bob is green.
("Bob" "is" "green" "+")
triple1
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is not young.
("Bob" "is" "young" "-")
triple4
Bob is round.
("Bob" "is" "round" "+")
triple3
Fiona is cold.
("Fiona" "is" "cold" "+")
triple5
Fiona is not red.
("Fiona" "is" "red" "-")
triple6
Fiona is rough.
("Fiona" "is" "rough" "+")
triple7
Gary is green.
("Gary" "is" "green" "+")
triple8
Harry is not round.
("Harry" "is" "round" "-")
triple10
Harry is red.
("Harry" "is" "red" "+")
triple9
Bob is rough.
("Bob" "is" "rough" "+")
((triple2) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
((((triple2) -> (rule2 % int2)) triple4) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2