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