Bob is not green. Fiona is cold. Fiona is green. Fiona is smart. Gary is big. Gary is not cold. Gary is nice. Gary is rough. Gary is white. Harry is nice. All nice things are smart. All smart things are rough.
Bob is not green.
("Bob" "is" "green" "-")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is not cold.
("Gary" "is" "cold" "-")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is white.
("Gary" "is" "white" "+")
Harry is nice.
("Harry" "is" "nice" "+")
All nice things are smart.
((("something" "is" "nice" "+")) -> ("something" "is" "smart" "+"))
All smart things are rough.
((("something" "is" "smart" "+")) -> ("something" "is" "rough" "+"))
Bob is not green.
True
1
proof
[(triple1)]
("Bob" "is" "green" "-")
triple1
Bob is green.
False
1
inv-proof
[(triple1)]
("Bob" "is" "green" "+")
triple1
Gary is smart.
True
2
proof
[(((triple7) -> rule1))]
("Gary" "is" "smart" "+")
((triple7) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Fiona is not rough.
False
2
inv-proof
[(((triple4) -> rule2))]
("Fiona" "is" "rough" "-")
((triple4) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Harry is rough.
True
3
proof
[(((((triple10) -> rule1)) -> rule2))]
("Harry" "is" "rough" "+")
((((triple10) -> (rule1 % int2))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is not rough.
False
3
inv-proof
[(((((triple10) -> rule1)) -> rule2))]
("Harry" "is" "rough" "-")
((((triple10) -> (rule1 % int2))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Bob is not smart.
Unknown
inv-rconc
[@1: Bob is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "smart" "-")
Bob is rough.
Unknown
rconc
[@2: Bob is rough.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Bob" "is" "rough" "+")
Harry is not cold.
Unknown
inv-random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
Fiona is not white.
Unknown
inv-random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
@0: Bob is not green.[(triple1)] Fiona is cold.[(triple2)] Fiona is green.[(triple3)] Fiona is smart.[(triple4)] Gary is big.[(triple5)] Gary is nice.[(triple7)] Gary is not cold.[(triple6)] Gary is rough.[(triple8 OR ((((triple7) -> rule1)) -> rule2))] Gary is white.[(triple9)] Harry is nice.[(triple10)] @1: Fiona is rough.[(((triple4) -> rule2))] Gary is smart.[(((triple7) -> rule1))] Harry is smart.[(((triple10) -> rule1))] @2: Harry is rough.[(((((triple10) -> rule1)) -> rule2))]
Bob is not green.
("Bob" "is" "green" "-")
triple1
Fiona is cold.
("Fiona" "is" "cold" "+")
triple2
Fiona is green.
("Fiona" "is" "green" "+")
triple3
Fiona is smart.
("Fiona" "is" "smart" "+")
triple4
Gary is big.
("Gary" "is" "big" "+")
triple5
Gary is nice.
("Gary" "is" "nice" "+")
triple7
Gary is not cold.
("Gary" "is" "cold" "-")
triple6
Gary is rough.
("Gary" "is" "rough" "+")
triple8
((((triple7) -> (rule1 % int2))) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
triple9
Harry is nice.
("Harry" "is" "nice" "+")
triple10
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple4) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
((triple7) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
((triple10) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
((((triple10) -> (rule1 % int2))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2