Anne is kind. Anne is nice. Anne is round. Anne is smart. Bob is kind. Bob is nice. Bob is round. Fiona is kind. Fiona is nice. Fiona is rough. Fiona is round. Gary is kind. Gary is nice. Gary is rough. Gary is white. If someone is round and rough then they are smart. Smart people are blue.
Anne is kind.
("Anne" "is" "kind" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is round.
("Bob" "is" "round" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is white.
("Gary" "is" "white" "+")
If someone is round and rough then they are smart.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "smart" "+"))
Smart people are blue.
((("someone" "is" "smart" "+")) -> ("someone" "is" "blue" "+"))
Anne is round.
True
1
proof
[(triple3)]
("Anne" "is" "round" "+")
triple3
Anne is not smart.
False
1
inv-proof
[(triple4)]
("Anne" "is" "smart" "-")
triple4
Fiona is smart.
True
3
proof
[(((triple11 triple10) -> rule1))]
("Fiona" "is" "smart" "+")
((triple11 triple10) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is not smart.
False
3
inv-proof
[(((triple11 triple10) -> rule1))]
("Fiona" "is" "smart" "-")
((triple11 triple10) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is blue.
True
4
proof
[(((((triple11 triple10) -> rule1)) -> rule2))]
("Fiona" "is" "blue" "+")
((((triple11 triple10) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is not blue.
False
4
inv-proof
[(((((triple11 triple10) -> rule1)) -> rule2))]
("Fiona" "is" "blue" "-")
((((triple11 triple10) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Gary is not smart.
Unknown
inv-rconc
[@1: Gary is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "smart" "-")
Bob is smart.
Unknown
rconc
[@1: Bob is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "smart" "+")
Gary is not blue.
Unknown
inv-rconc
[@2: Gary is blue.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Gary" "is" "blue" "-")
Anne is rough.
Unknown
random
[@0: Anne is rough.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "rough" "+")
Anne is not white.
Unknown
inv-random
[@0: Anne is white.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "white" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
@0: Anne is kind.[(triple1)] Anne is nice.[(triple2)] Anne is round.[(triple3)] Anne is smart.[(triple4)] Bob is kind.[(triple5)] Bob is nice.[(triple6)] Bob is round.[(triple7)] Fiona is kind.[(triple8)] Fiona is nice.[(triple9)] Fiona is rough.[(triple10)] Fiona is round.[(triple11)] Gary is kind.[(triple12)] Gary is nice.[(triple13)] Gary is rough.[(triple14)] Gary is white.[(triple15)] @1: Anne is blue.[(((triple4) -> rule2))] Fiona is smart.[(((triple11 triple10) -> rule1))] @2: Fiona is blue.[(((((triple11 triple10) -> rule1)) -> rule2))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is round.
("Anne" "is" "round" "+")
triple3
Anne is smart.
("Anne" "is" "smart" "+")
triple4
Bob is kind.
("Bob" "is" "kind" "+")
triple5
Bob is nice.
("Bob" "is" "nice" "+")
triple6
Bob is round.
("Bob" "is" "round" "+")
triple7
Fiona is kind.
("Fiona" "is" "kind" "+")
triple8
Fiona is nice.
("Fiona" "is" "nice" "+")
triple9
Fiona is rough.
("Fiona" "is" "rough" "+")
triple10
Fiona is round.
("Fiona" "is" "round" "+")
triple11
Gary is kind.
("Gary" "is" "kind" "+")
triple12
Gary is nice.
("Gary" "is" "nice" "+")
triple13
Gary is rough.
("Gary" "is" "rough" "+")
triple14
Gary is white.
("Gary" "is" "white" "+")
triple15
Anne is blue.
("Anne" "is" "blue" "+")
((triple4) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple11 triple10) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
((((triple11 triple10) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2