Bob is round. Charlie is nice. Fiona is round. Harry is green. If something is round then it is white. If Bob is round then Bob is young. White things are round. Furry, nice things are green. All green things are young. If something is young and nice then it is round.
Bob is round.
("Bob" "is" "round" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Harry is green.
("Harry" "is" "green" "+")
If something is round then it is white.
((("something" "is" "round" "+")) -> ("something" "is" "white" "+"))
If Bob is round then Bob is young.
((("Bob" "is" "round" "+")) -> ("Bob" "is" "young" "+"))
White things are round.
((("something" "is" "white" "+")) -> ("something" "is" "round" "+"))
Furry, nice things are green.
((("something" "is" "furry" "+") ("something" "is" "nice" "+")) -> ("something" "is" "green" "+"))
All green things are young.
((("something" "is" "green" "+")) -> ("something" "is" "young" "+"))
If something is young and nice then it is round.
((("something" "is" "young" "+") ("something" "is" "nice" "+")) -> ("something" "is" "round" "+"))
Charlie is nice.
True
1
proof
[(triple2)]
("Charlie" "is" "nice" "+")
triple2
Harry is not green.
False
1
inv-proof
[(triple4)]
("Harry" "is" "green" "-")
triple4
Fiona is white.
True
2
proof
[(((triple3) -> rule1))]
("Fiona" "is" "white" "+")
((triple3) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is not white.
False
2
inv-proof
[(((triple3) -> rule1))]
("Fiona" "is" "white" "-")
((triple3) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is not young.
Unknown
inv-rconc
[@2: Fiona is young.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("Fiona" "is" "young" "-")
Charlie is young.
Unknown
rconc
[@2: Charlie is young.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("Charlie" "is" "young" "+")
Fiona is not nice.
Unknown
inv-random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
@0: Bob is round.[(triple1)] Charlie is nice.[(triple2)] Fiona is round.[(triple3)] Harry is green.[(triple4)] @1: Bob is white.[(((triple1) -> rule1))] Bob is young.[(((triple1) -> rule2))] Fiona is white.[(((triple3) -> rule1))] Harry is young.[(((triple4) -> rule5))]
Bob is round.
("Bob" "is" "round" "+")
triple1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Fiona is round.
("Fiona" "is" "round" "+")
triple3
Harry is green.
("Harry" "is" "green" "+")
triple4
Bob is white.
("Bob" "is" "white" "+")
((triple1) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
((triple1) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
((triple3) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
((triple4) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1