Bob is blue. Charlie is not green. Fiona is white. Gary is smart. If something is young then it is not nice. If something is blue then it is young.
Bob is blue.
("Bob" "is" "blue" "+")
Charlie is not green.
("Charlie" "is" "green" "-")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is smart.
("Gary" "is" "smart" "+")
If something is young then it is not nice.
((("something" "is" "young" "+")) -> ("something" "is" "nice" "-"))
If something is blue then it is young.
((("something" "is" "blue" "+")) -> ("something" "is" "young" "+"))
Fiona is white.
True
1
proof
[(triple3)]
("Fiona" "is" "white" "+")
triple3
Gary is not smart.
False
1
inv-proof
[(triple4)]
("Gary" "is" "smart" "-")
triple4
Bob is young.
True
2
proof
[(((triple1) -> rule2))]
("Bob" "is" "young" "+")
((triple1) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is not young.
False
2
inv-proof
[(((triple1) -> rule2))]
("Bob" "is" "young" "-")
((triple1) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is not nice.
True
3
proof
[(((((triple1) -> rule2)) -> rule1))]
("Bob" "is" "nice" "-")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Bob is not nice.
("Bob" "is" "nice" "-")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is nice.
False
3
inv-proof
[(((((triple1) -> rule2)) -> rule1))]
("Bob" "is" "nice" "+")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Bob is not nice.
("Bob" "is" "nice" "-")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Fiona is not young.
Unknown
inv-rconc
[@1: Fiona is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "young" "-")
Charlie is young.
Unknown
rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "young" "+")
Gary is not young.
Unknown
inv-rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "young" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
Fiona is not big.
Unknown
inv-random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
@0: Bob is blue.[(triple1)] Charlie is not green.[(triple2)] Fiona is white.[(triple3)] Gary is smart.[(triple4)] @1: Bob is young.[(((triple1) -> rule2))] @2: Bob is not nice.[(((((triple1) -> rule2)) -> rule1))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Charlie is not green.
("Charlie" "is" "green" "-")
triple2
Fiona is white.
("Fiona" "is" "white" "+")
triple3
Gary is smart.
("Gary" "is" "smart" "+")
triple4
Bob is young.
("Bob" "is" "young" "+")
((triple1) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is not nice.
("Bob" "is" "nice" "-")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Bob is not nice.
("Bob" "is" "nice" "-")
int1
Bob is young.
("Bob" "is" "young" "+")
int2